Skip to content

Commit

Permalink
Merge pull request #818 from Kobzol/ci-merge-queue
Browse files Browse the repository at this point in the history
Configure CI for merge queue
  • Loading branch information
MarcoIeni authored Oct 22, 2024
2 parents ab710e0 + efb8d0f commit c83151f
Showing 1 changed file with 10 additions and 23 deletions.
33 changes: 10 additions & 23 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,13 +1,7 @@
name: CI
on:
push:
branches:
- master
- auto
- try
merge_group:
pull_request:
branches:
- "**"

jobs:
test:
Expand Down Expand Up @@ -111,22 +105,15 @@ jobs:
- name: Build Chalk book
run: cd book && ./mdbook build

end-success:
name: bors build finished
if: success()
runs-on: ubuntu-latest
conclusion:
needs: [test, fmt]

steps:
- name: Mark the job as successful
run: exit 0

end-failure:
name: bors build finished
if: "!success()"
# !cancelled() executes the job regardless of whether the previous jobs passed, failed or get skipped.
if: ${{ !cancelled() }}
runs-on: ubuntu-latest
needs: [test, fmt]

steps:
- name: Mark the job as a failure
run: exit 1
- name: Conclusion
run: |
# Print the dependent jobs to see them in the CI log
jq -C <<< '${{ toJson(needs) }}'
# Check if all jobs that we depend on (in the needs array) were successful.
jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'

0 comments on commit c83151f

Please sign in to comment.