mirror of
https://github.com/swarm-game/swarm.git
synced 2024-10-27 18:15:15 +03:00
40 lines
956 B
YAML
40 lines
956 B
YAML
queue_rules:
|
|
- name: default
|
|
conditions:
|
|
- check-success=Haskell-CI - Linux - ghc-9.0.2
|
|
- check-success=Haskell-CI - Linux - ghc-8.10.7
|
|
|
|
pull_request_rules:
|
|
- actions:
|
|
queue:
|
|
name: default
|
|
method: squash
|
|
commit_message_template: |
|
|
{{ title }} (#{{ number }})
|
|
|
|
{{ body }}
|
|
|
|
name: Automatically merge pull requests
|
|
conditions:
|
|
- 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.2.3
|
|
- check-success=Haskell-CI - Linux - ghc-9.0.2
|
|
- check-success=Haskell-CI - Linux - ghc-8.10.7
|
|
- label=merge me
|
|
- ! '#approved-reviews-by>=1'
|
|
- ! '#changes-requested-reviews-by=0'
|
|
- actions:
|
|
delete_head_branch: {}
|
|
name: Delete head branch after merge
|
|
conditions:
|
|
- merged
|