Fix some issues pointed out by zizmor. (#1009)

2026-07-29 11:55:04 +00:00 · 2024-12-14 15:31:16 +01:00
parent 7583ea82ac
commit 80770ed972
3 changed files with 6 additions and 1 deletions
@@ -46,6 +46,8 @@ jobs:
    steps:
      - name: Check out repository
        uses: actions/checkout@v4
+        with:
+          persist-credentials: false

      - name: Install dependencies
        run: |