Pin GitHub Actions to latest release SHAs

Author: Copilot

.github/workflows/auto-assign-date-label.yml

@@ -11,8 +11,9 @@ jobs:
       issues: write
 
     steps:
+      # actions/github-script@v9.0.0
       - name: Add month-year label
-        uses: actions/github-script@v7
+        uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3
         with:
           script: |
             const date = new Date();

.github/workflows/set_for_end_of_british_summertime.yml

@@ -8,7 +8,8 @@ jobs:
         runs-on: ubuntu-latest
         name: Turn off BST time adjustment
         steps:
-            - uses: actions/checkout@v3
+            # actions/checkout@v7.0.0
+            - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0
             - name: Update to reflect end of British Summer time
               run: |
                   sed -i 's/T08:30Z/T09:30Z/g' pages/index.html

.github/workflows/set_for_start_of_british_summertime.yml

@@ -8,7 +8,8 @@ jobs:
         runs-on: ubuntu-latest
         name: Turn on BST adjustment
         steps:
-            - uses: actions/checkout@v3
+            # actions/checkout@v7.0.0
+            - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0
             - name: Update to reflect start of British Summer time
               run: |
                   sed -i 's/T09:30Z/T08:30Z/g' pages/index.html

.github/workflows/update-date.yaml

@@ -7,7 +7,8 @@ jobs:
     runs-on: ubuntu-latest
     name: Add next file
     steps:
-      - uses: actions/checkout@v3
+      # actions/checkout@v7.0.0
+      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0
       - name: Create file and push
         run: |
           sudo apt update && sudo apt install -y ncal