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).

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 498146bdb842216585322abf83183a98b29884c9..ca873c294e826d5d1cb6f71ae8b6a6d29ae5eb22 100644 (file)
--- 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: