generate id token

holesch · Aug 9, 2024 · ebeb441 · ebeb441
1 parent 7d14f9f
commit ebeb441
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -39,6 +39,9 @@ jobs:
       run: git ls-files -z | xargs -0 -- codespell
     - name: Store GitHub Token
       run: echo ${{ secrets.GITHUB_TOKEN }} > /tmp/token
+    - name: Generate ID Token
+      run: |
+        curl -H "Authorization: bearer  $ACTIONS_ID_TOKEN_REQUEST_TOKEN" "$ACTIONS_ID_TOKEN_REQUEST_URL&audience=not-my-board" | jq -r '.value'
     - name: Setup upterm session
       uses: lhotari/action-upterm@v1
   test: