🚸 automatically use GitHub token and use @octokit/core instead of `…

…@octokit/action`

.github/workflows/test.yml

@@ -28,8 +28,6 @@ jobs:
           cache: npm
       - run: npm ci
       - run: npm run all
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
   # test action works running from the graph
   test:
@@ -42,8 +40,6 @@ jobs:
       - uses: actions/checkout@v4
       - uses: ./
         id: z3
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - run: echo "${{ steps.z3.outputs.z3-root }}"
       - run: '[ -d "${{ steps.z3.outputs.z3-root }}" ] || exit 1'
       - if: runner.os != 'Windows'

README.md

@@ -10,16 +10,10 @@ To download the latest version of Z3 for the host platform and add it to the `PA
 - name: Setup Z3
   id: z3
   uses: cda-tum/setup-z3@v1
-  env:
-    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 ```
 
 This action creates a `z3-root` output variable that contains the path to the root directory of the Z3 installation and exports the `Z3_ROOT` environment variable for subsequent steps in a job. The output variable can be accessed as `${{ steps.z3.outputs.z3-root }}`.
 
-> **Warning**
-> The `GITHUB_TOKEN` environment variable is required to download the Z3 binaries from GitHub releases.
-> The token is automatically provided by GitHub Actions and does not need to be configured manually.
-
 ### Specifying a version
 
 In many cases, it is convenient to use a specific version of Z3. This can be done by specifying the `version` input:
@@ -30,8 +24,6 @@ In many cases, it is convenient to use a specific version of Z3. This can be don
   uses: cda-tum/setup-z3@v1
   with:
     version: 4.11.2
-  env:
-    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 ```
 
 > **Note**
@@ -48,8 +40,6 @@ If you want to explicitly specify the platform and architecture for which Z3 sho
   with:
     platform: macOS
     architecture: arm64
-  env:
-    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 ```
 
 > **Note**
@@ -70,6 +60,4 @@ By default, the action only adds Z3 into `PATH`, meaning it cannot be used as a
   uses: cda-tum/setup-z3@v1
   with:
     add_to_library_path: true
-  env:
-    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 ```

action.yml

@@ -18,6 +18,10 @@ inputs:
     description: "Add Z3 to the library path variables, such that it can be used as a static/dynamic library. Defaults to false."
     required: false
     default: "false"
+  token:
+    description: "The token that the action will use to query the GitHub API. Defaults to the repository's GitHub token."
+    required: false
+    default: ${{ github.token }}
 outputs:
   z3-root:
     description: "The root directory of the Z3 installation"