Merge pull request #846 from pq-code-package/pin-dependency

Pin tj-actions/changed-files action

Author: hanno-becker

.github/workflows/hol_light.yml

@@ -34,7 +34,7 @@ jobs:
           fetch-depth: 0
       - name: Get changed files
         id: changed-files
-        uses: tj-actions/changed-files@v45
+        uses: tj-actions/changed-files@dcc7a0cba800f454d79fff4b993e8c3555bcc0a8 # v45.0.7
       - uses: ./.github/actions/setup-shell
         if: |
           contains(steps.changed-files.outputs.all_changed_files,format('{0}.S',matrix.proof)) ||