Harden workflow permissions

2026-09-28 18:55:33 +00:00 · 2026-09-15 21:20:31 +02:00
parent 264e1590c2
commit 8d732e19ce
20 changed files with 58 additions and 1 deletions
@@ -4,6 +4,9 @@ on:
  schedule:
    - cron: '0/15 * * * *' # run every 15 min - don't forget to adjust the "interval" in the json sent to the metrics endpoint

+permissions:
+  contents: read
+
 jobs:
  report-download-stats:
    runs-on: ubuntu-latest