chore(ci): fix daily and nightly ci

Author: josecorella

.github/workflows/daily_ci.yml

@@ -6,6 +6,10 @@ on:
     - cron: "00 15 * * 1-5"
   workflow_dispatch:
 
+permissions:
+  contents: read
+  id-token: write
+
 jobs:
   getVersion:
     uses: ./.github/workflows/dafny_version.yaml

.github/workflows/nighly_dafny.yml

@@ -11,6 +11,10 @@ on:
     - cron: "30 16 * * *"
   workflow_dispatch:
 
+permissions:
+  id-token: write
+  contents: read
+
 jobs:
   dafny-nightly-verification:
     # Don't run the cron builds on forks