swarm-game/swarm
1
1
Fork 0
mirror of https://github.com/swarm-game/swarm.git synced 2024-08-16 18:10:23 +03:00
Code Issues Projects Releases Wiki Activity

add GHC 9.4.2 build and todo check to requirements for merging (#1177)

Browse Source
This commit is contained in:
Brent Yorgey 2023-03-25 13:12:24 -05:00 committed by GitHub
parent af92865727
commit 29c931d4c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.mergify.yml
View File

@ -11,6 +11,8 @@ queue_rules:
- -files~=^[^/]*\.yaml$
- -files~=^data/.*\.yaml$
- and:
- check-success=Enforce issue references
- check-success=Haskell-CI - Linux - ghc-9.4.2
- check-success=Haskell-CI - Linux - ghc-9.2.4
- check-success=Haskell-CI - Linux - ghc-9.0.2
- check-success=Haskell-CI - Linux - ghc-8.10.7
@ -37,6 +39,8 @@ pull_request_rules:
- -files~=^[^/]*\.yaml$
- -files~=^data/.*\.yaml$
- and:
- check-success=Enforce issue references
- check-success=Haskell-CI - Linux - ghc-9.4.2
- check-success=Haskell-CI - Linux - ghc-9.2.4
- check-success=Haskell-CI - Linux - ghc-9.0.2
- check-success=Haskell-CI - Linux - ghc-8.10.7