diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d2d69effe..59a26838e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,14 +2,6 @@ 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: @@ -122,8 +114,8 @@ jobs: update-pr: runs-on: ubuntu-latest + if: github.repository == 'cvc5/cvc5' && github.event_name == 'push' needs: build - if: github.repository == 'cvc5/cvc5' && github.event == 'push' steps: - name: Automatically update PR uses: adRise/update-pr-branch@v0.5.1 |