mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 11:07:48 +03:00
574dd6e838
try renaming contributor check
32 lines
1.3 KiB
YAML
32 lines
1.3 KiB
YAML
pull_request_rules:
|
|
- name: automatic merge on CI success and review
|
|
conditions:
|
|
- check-success=check-contributor
|
|
- check-success=build ucm (ubuntu-20.04)
|
|
- check-success=build ucm (macOS-12)
|
|
- check-success=build ucm (windows-2019)
|
|
- check-success=run transcripts (ubuntu-20.04)
|
|
- check-success=run transcripts (macOS-12)
|
|
- check-success=run transcripts (windows-2019)
|
|
- check-success=run interpreter tests (ubuntu-20.04)
|
|
- check-success=run interpreter tests (macOS-12)
|
|
# - check-success=run interpreter tests (windows-2019)
|
|
- check-success=generate jit source
|
|
- check-success=build jit binary / build jit binary (ubuntu-20.04)
|
|
- check-success=build jit binary / build jit binary (macOS-12)
|
|
- check-success=build jit binary / build jit binary (windows-2019)
|
|
- check-success=test jit / test jit (ubuntu-20.04)
|
|
- check-success=test jit / test jit (macOS-12)
|
|
# - check-success=test jit / test jit (windows-2019)
|
|
- label=ready-to-merge
|
|
- "#approved-reviews-by>=1"
|
|
actions:
|
|
merge:
|
|
method: merge
|
|
label:
|
|
remove: ["ready-to-merge"]
|
|
# - name: delete head branch after merge
|
|
# conditions: []
|
|
# actions:
|
|
# delete_head_branch: {}
|