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

Allow non-Haskell PRs to be merged

Browse Source
This commit is contained in:
Ondřej Šebek 2022-08-07 01:00:30 +02:00 committed by Ondřej Šebek
parent 33df76a818
commit 6fd7f4143b
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.mergify.yml
View File

@ -1,8 +1,18 @@
queue_rules:
- name: default
conditions:
- check-success=Haskell-CI - Linux - ghc-9.0.2
- check-success=Haskell-CI - Linux - ghc-8.10.7
- or:
- and:
- -files~=\.hs$
- -files~=\.sw$
- -files~=\.cabal$
- -files=stack.yaml
- -files~=cabal.project.*
- -files~=^[^/]*\.yaml$
- -files~=^data/.*\.yaml$
- and:
- check-success=Haskell-CI - Linux - ghc-9.0.2
- check-success=Haskell-CI - Linux - ghc-8.10.7
pull_request_rules:
- actions: