From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 7 Aug 2020 21:56:28 +0000 (-0700)
Subject: GH Actions: Remove cancel action. (#4843)
X-Git-Tag: cvc5-1.0.0~3032
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62661dbf501407495aa5f5d700b9d1f1f97376d2;p=cvc5.git

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 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: