🚸 no longer need to explicitly provide GITHUB_TOKEN to setup-z3 (#30

)
cda-tum · Sep 9, 2024 · fdc30c7 · fdc30c7
1 parent dba77f0
commit fdc30c7
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 19 deletions.
diff --git a/.github/workflows/reusable-code-ql-cpp.yml b/.github/workflows/reusable-code-ql-cpp.yml
@@ -36,8 +36,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1

diff --git a/.github/workflows/reusable-cpp-coverage.yml b/.github/workflows/reusable-cpp-coverage.yml
@@ -35,8 +35,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1
         with:

diff --git a/.github/workflows/reusable-cpp-linter.yml b/.github/workflows/reusable-cpp-linter.yml
@@ -44,8 +44,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # install a specific version of clang
       - name: Install clang-${{ env.clang-version }}
         run: |

diff --git a/.github/workflows/reusable-cpp-tests-macos.yml b/.github/workflows/reusable-cpp-tests-macos.yml
@@ -38,8 +38,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1

diff --git a/.github/workflows/reusable-cpp-tests-ubuntu.yml b/.github/workflows/reusable-cpp-tests-ubuntu.yml
@@ -39,8 +39,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1

diff --git a/.github/workflows/reusable-cpp-tests-windows.yml b/.github/workflows/reusable-cpp-tests-windows.yml
@@ -45,8 +45,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1

diff --git a/.github/workflows/reusable-python-ci.yml b/.github/workflows/reusable-python-ci.yml
@@ -39,8 +39,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up mold as linker for faster C++ builds
       - name: Set up mold as linker
         uses: rui314/setup-mold@v1

diff --git a/.github/workflows/reusable-python-linter.yml b/.github/workflows/reusable-python-linter.yml
@@ -28,8 +28,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # set up ccache for faster C++ builds
       - name: Setup ccache
         uses: Chocobo1/setup-ccache-action@v1

diff --git a/.github/workflows/reusable-python-packaging.yml b/.github/workflows/reusable-python-packaging.yml
@@ -87,8 +87,6 @@ jobs:
         uses: cda-tum/setup-z3@v1
         with:
           version: ${{ inputs.z3-version }}
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
       # optionally set up Z3 (Ubuntu only)
       - if: ${{ inputs.setup-z3 && matrix.runs-on == 'ubuntu-latest' }}
         name: Set environment variables for Z3 installation in manylinux image

diff --git a/.github/workflows/reusable-python-tests.yml b/.github/workflows/reusable-python-tests.yml
@@ -25,7 +25,6 @@ jobs:
     runs-on: ${{ inputs.runs-on }}
     env:
       FORCE_COLOR: 3
-      GITHUB_TOKEN: ${{ github.token }}
     steps:
       # check out the repository (including submodules and all history)
       - uses: actions/checkout@v4