From fdc30c7975f9cb39ffe964703d5084e3171052de Mon Sep 17 00:00:00 2001 From: Lukas Burgholzer Date: Mon, 9 Sep 2024 23:16:38 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=9A=B8=20no=20longer=20need=20to=20explic?= =?UTF-8?q?itly=20provide=20`GITHUB=5FTOKEN`=20to=20`setup-z3`=20(#30)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .github/workflows/reusable-code-ql-cpp.yml | 2 -- .github/workflows/reusable-cpp-coverage.yml | 2 -- .github/workflows/reusable-cpp-linter.yml | 2 -- .github/workflows/reusable-cpp-tests-macos.yml | 2 -- .github/workflows/reusable-cpp-tests-ubuntu.yml | 2 -- .github/workflows/reusable-cpp-tests-windows.yml | 2 -- .github/workflows/reusable-python-ci.yml | 2 -- .github/workflows/reusable-python-linter.yml | 2 -- .github/workflows/reusable-python-packaging.yml | 2 -- .github/workflows/reusable-python-tests.yml | 1 - 10 files changed, 19 deletions(-) diff --git a/.github/workflows/reusable-code-ql-cpp.yml b/.github/workflows/reusable-code-ql-cpp.yml index c39fae0..0678279 100644 --- 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 index 2113da4..ede9f9b 100644 --- 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 index 5448c79..bec56ee 100644 --- 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 index ee38ff9..8ac5125 100644 --- 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 index 755f63b..598d6a3 100644 --- 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 index 3a3af5c..150943c 100644 --- 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 index e345ca0..65f0579 100644 --- 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 index 57b1f86..0ddbcbb 100644 --- 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 index 473673c..2275d16 100644 --- 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 index c95b78d..1d02554 100644 --- 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