Brent Yorgey
242376d294
Fix Mergify config
...
Convert deprecated `commit_message` attribute to
`commit_message_template`. See https://docs.mergify.com/actions/merge/#defining-the-commit-message
2022-03-01 21:02:58 -06:00
Brent Yorgey
b1f0e316fd
Challenge mode ( #285 )
...
Add a "challenge mode" where the player tries to achieve some specified goal from specific starting conditions.
2022-01-27 17:00:00 -06:00
Ondřej Šebek
89e613c678
Add the CI file check to mergify ( #283 )
...
I made a mistake in #279 , for PRs that modify both .hs an .md the dummy would pass 🙄
Copying the logic to .mergify.yml should fix this. 🤞
2021-11-07 15:55:03 +01:00
Ondřej Šebek
95f2247657
Filter paths that run CI ( #279 )
...
* Filter paths that run CI
* Add dummy CI to check
2021-11-07 14:39:10 +01:00
Brent Yorgey
d8e3334cad
update CI and include the test suite ( #165 )
2021-10-03 21:29:08 -05:00
Tristan de Cacqueray
9c18edc4cf
Configure squash commit message to use title+body ( #95 )
2021-09-27 16:36:18 -05:00
Tristan Cacqueray
50e9558071
Add mergify configuration
...
This change configures the mergify bot so that:
- PR are validated with the tip of the project before merge
to prevent incompatible PRs to be merged at once which could
break the CI.
- PR maintainer uses a consistent smart squash workflow
2021-09-26 19:44:38 +00:00
