From ebeb4419f266f8ff1ff966d4f968378b4423d3b1 Mon Sep 17 00:00:00 2001
From: Simon Holesch <simon@holesch.de>
Date: Fri, 9 Aug 2024 19:40:27 +0200
Subject: [PATCH] generate id token

---
 .github/workflows/on-push.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
index 0841f1c..afe243e 100644
--- 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: