From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 3 Oct 2020 19:39:37 +0000 (-0700)
Subject: Fix CI builds and add cancel workflow.
X-Git-Tag: cvc5-1.0.0~2759
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=856d806d362b81bbf5a692d15d31f0161467bbd1;p=cvc5.git

Fix CI builds and add cancel workflow.
---

diff --git a/.github/workflows/cancel.yml b/.github/workflows/cancel.yml
new file mode 100644
index 000000000..7f1076371
--- /dev/null
+++ b/.github/workflows/cancel.yml
@@ -0,0 +1,13 @@
+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 8f8f97139..e9c217501 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,15 +1,7 @@
-on: [push, pull_request_target]
+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: