Merge branch 'master' into chore/set-ubuntu-version

SWI-Prolog · Jan 12, 2025 · 1fa9cc0 · 1fa9cc0
2 parents a3fa31a + 52b3ff6
commit 1fa9cc0
Show file tree

Hide file tree

Showing 3 changed files with 156 additions and 253 deletions.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -67,4 +67,8 @@ jobs:
             fi
           fi
         env:
-          GH_TOKEN: ${{ github.token }}
+          # You may be tempted to make this github.token, this won't work
+          # because GH Actions does not trigger workflows on github.token
+          # in order to avoid recursive workflows.
+          # See: https://docs.github.com/en/actions/security-for-github-actions/security-guides/automatic-token-authentication#using-the-github_token-in-a-workflow
+          GH_TOKEN: ${{ secrets.GH_TOKEN }}