From: Gereon Kremer <gkremer@cs.stanford.edu>
Date: Fri, 1 Apr 2022 17:33:03 +0000 (+0200)
Subject: Fix pypi packaging trigger again (#8512)
X-Git-Tag: cvc5-1.0.0~65
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c682ca762dd54d1ac9e0b5ef116d98eaa045429;p=cvc5.git

Fix pypi packaging trigger again (#8512)

Further workflows are not triggered when the GITHUB_TOKEN is used. This PR creates new releases using the ACTION_USER_TOKEN instead.
---

diff --git a/.github/actions/store-binary/action.yml b/.github/actions/store-binary/action.yml
index 9e339f8d4..6eac33625 100644
--- a/.github/actions/store-binary/action.yml
+++ b/.github/actions/store-binary/action.yml
@@ -5,8 +5,10 @@ inputs:
     description: file name of binary
   binary-name:
     description: target name of binary
-  github-token:
-    description: token to upload binary
+  github-token-latest:
+    description: token to upload binary to latest
+  github-token-release:
+    description: token to upload binary to release
 runs:
   using: composite
   steps:
@@ -24,7 +26,7 @@ runs:
       if: github.ref == 'refs/heads/main'
       shell: 'python3 {0}'
       env:
-        GITHUB_TOKEN: ${{ inputs.github-token }}
+        GITHUB_TOKEN: ${{ inputs.github-token-latest }}
         BINARY: ${{ inputs.binary-name }}
       run: |
         import datetime
@@ -81,7 +83,7 @@ runs:
       if: startsWith(github.ref, 'refs/tags/')
       shell: 'python3 {0}'
       env:
-        GITHUB_TOKEN: ${{ inputs.github-token }}
+        GITHUB_TOKEN: ${{ inputs.github-token-release }}
         BINARY: ${{ inputs.binary-name }}
       run: |
         import os
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4bdd2688f..6173b741b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -133,7 +133,9 @@ jobs:
       with:
         binary: ${{ steps.configure-and-build.outputs.static-build-dir }}/bin/cvc5${{ matrix.binary-ext }}
         binary-name: ${{ matrix.binary-name }}
-        github-token: ${{ secrets.GITHUB_TOKEN }}
+        # when using GITHUB_TOKEN, no further workflows are triggered
+        github-token-latest: ${{ secrets.GITHUB_TOKEN }}
+        github-token-release: ${{ secrets.ACTION_USER_TOKEN }}
 
   update-pr:
     runs-on: ubuntu-latest