diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-08-07 14:56:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-07 14:56:28 -0700 |
commit | 62661dbf501407495aa5f5d700b9d1f1f97376d2 (patch) | |
tree | 7c509a1d5c6be82c7c98b3c51e3e925524899779 /.github | |
parent | 816d5e7624c9d088c469f7e23d11394f5b385b84 (diff) |
GH Actions: Remove cancel action. (#4843)
The previously introduced action to cancel running builds is not able to
cancel builds on other branches, only on the same branch. As a consequence,
when pushing to a branch for which a PR has been submitted, builds on the
main repository are not cancelled.
This removes the cancel build. If we want behavior similar to how it was
on Travis, we need a workaround / more sophisticated solution since GH
Actions doesn't really allow / support this (due to permission issues).
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 498146bdb..ca873c294 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.4.1 - with: - access_token: ${{ github.token }} - build: strategy: matrix: |