diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-11-24 20:31:09 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-25 04:31:09 +0000 |
commit | eec5a214af7d9d435392a0185083a1f361860394 (patch) | |
tree | 460da3e83175f0165135df00ef8cdbaba056e051 | |
parent | 772d43ea8498e65ef177173266cbfcd741403d40 (diff) |
Consolidate CI jobs (#7697)
This PR integrates the cancel and update-pr jobs into the main CI jobs. This not only looks nicer in the actions menu (less jobs) but also improves which jobs we cancel: this now also allows to cancel jobs in forks by getting rid of the magic workflow number.
-rw-r--r-- | .github/workflows/cancel.yml | 13 | ||||
-rw-r--r-- | .github/workflows/ci.yml | 21 | ||||
-rw-r--r-- | .github/workflows/update_pr.yml | 17 |
3 files changed, 21 insertions, 30 deletions
diff --git a/.github/workflows/cancel.yml b/.github/workflows/cancel.yml deleted file mode 100644 index 7f1076371..000000000 --- a/.github/workflows/cancel.yml +++ /dev/null @@ -1,13 +0,0 @@ -on: [push, pull_request_target] -name: Cancel - -jobs: - cancel: - runs-on: ubuntu-latest - steps: - - name: Cancel Previous Runs - uses: styfle/cancel-workflow-action@0.5.0 - with: - # cancel builds from ci workflow - workflow_id: 903674 - access_token: ${{ github.token }} diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 723752eb8..d2d69effe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,14 @@ on: [push, pull_request] name: CI jobs: + cancel: + runs-on: ubuntu-latest + steps: + - name: Cancel Previous Runs + uses: styfle/cancel-workflow-action@0.5.0 + with: + access_token: ${{ github.token }} + build: strategy: matrix: @@ -110,3 +118,16 @@ jobs: with: binary: ${{ steps.configure-and-build.outputs.static-build-dir }}/bin/cvc5 github-token: ${{ secrets.GITHUB_TOKEN }} + + + update-pr: + runs-on: ubuntu-latest + needs: build + if: github.repository == 'cvc5/cvc5' && github.event == 'push' + steps: + - name: Automatically update PR + uses: adRise/update-pr-branch@v0.5.1 + with: + token: ${{ secrets.ACTION_USER_TOKEN }} + base: 'master' + required_approval_count: 1 diff --git a/.github/workflows/update_pr.yml b/.github/workflows/update_pr.yml deleted file mode 100644 index 3fab922c7..000000000 --- a/.github/workflows/update_pr.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: PR update - -on: - push: - branches: - - 'master' -jobs: - autoupdate: - runs-on: ubuntu-latest - if: github.repository == 'cvc5/cvc5' - steps: - - name: Automatically update PR - uses: adRise/update-pr-branch@v0.5.1 - with: - token: ${{ secrets.ACTION_USER_TOKEN }} - base: 'master' - required_approval_count: 1 |