security: add permissions section to correctness checks workflow

andrewpollack · andrewpollack · commit 2dadd31ebd5f · 2025-06-08T08:16:10.000-07:00
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -1,5 +1,9 @@
 name: Correctness Checks
 on: [push, pull_request]
+
+permissions:
+  contents: read
+
 jobs:
   Run-Markdown-Checks:
     runs-on: ubuntu-24.04
