Merge remote-tracking branch 'origin/master'

2025-07-28 17:57:08 +02:00
parent 12c171a335 95bec0d060
commit 2d43731f6f
1 changed files with 4 additions and 0 deletions
@@ -3,6 +3,10 @@ name: Build Rollout
 on:
  workflow_dispatch:

+permissions:
+  id-token: write
+  contents: read
+
 jobs:
  build:
    runs-on: ubuntu-latest