Skip to content

Conversation

@angelikatyborska
Copy link
Member

@angelikatyborska angelikatyborska commented Aug 29, 2021

Together with #429 closes #424

Erik's PR fixes the "configlet" workflow, and this PR fixes the "ci" workflow:

Screenshot 2022-03-12 at 18 18 41

@angelikatyborska angelikatyborska changed the title Fix menhir bad checksum Fix CI Aug 29, 2021
@angelikatyborska
Copy link
Member Author

@exercism/reviewers can we get this merged?

@SleeplessByte
Copy link
Member

@angelikatyborska the travis one is making this unable to be merged.

@ErikSchierboom
Copy link
Member

@iHiD Needs to merge this (and disable the travis check if that is still a thing). Same thing goes for #429

@angelikatyborska
Copy link
Member Author

Damn. Judging by 48576c9, Travis was already removed from this repo so it needs to be reconfigured not to require that check.

@iHiD
Copy link
Member

iHiD commented Mar 15, 2022

Travis has gone :)

@ErikSchierboom ErikSchierboom merged commit 8f4e4c4 into exercism:main Mar 15, 2022
@angelikatyborska angelikatyborska deleted the fix-ci branch March 15, 2022 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix CI

4 participants