build(deps): Bump the actions group across 1 directory with 6 updates

.github/workflows/ci-benchmarks.yml

@@ -51,7 +51,7 @@ jobs:
 
     steps:
       - name: Checkout Quandledb repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
 
@@ -62,7 +62,7 @@ jobs:
           elixir-version: '1.16'
 
       - name: Set up Julia
-        uses: julia-actions/setup-julia@v2
+        uses: julia-actions/setup-julia@v3
         with:
           version: '1.12'
 
@@ -89,10 +89,10 @@ jobs:
 
     steps:
       - name: Checkout Quandledb repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
 
       - name: Checkout proven benchmarks repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
         with:
           repository: ${{ env.BENCHMARKS_REPO }}
           path: proven
@@ -109,7 +109,7 @@ jobs:
           ./run.sh --all
 
       - name: Upload benchmark results
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v7
         if: always()
         with:
           name: quandledb-benchmark-results
@@ -125,7 +125,7 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
 
@@ -145,12 +145,12 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
 
       - name: SonarQube scan
-        uses: SonarSource/sonarqube-scan-action@v2
+        uses: SonarSource/sonarqube-scan-action@v8
         with:
           args: >-
             -Dsonar.projectKey=quandledb

.github/workflows/codeql.yml

@@ -39,15 +39,15 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@v4.37.9
+        uses: github/codeql-action/init@v4.38.0
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@v4.37.9
+        uses: github/codeql-action/analyze@v4.38.0
         with:
           category: "/language:${{ matrix.language }}"

.github/workflows/krl-verification.yml

@@ -43,13 +43,13 @@ jobs:
     timeout-minutes: 90
     steps:
       - name: Checkout
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
 
       # Julia >= 1.11 is required: server/Project.toml uses a [sources] table
       # (path-resolved sibling deps), which Pkg 1.10 silently ignores — the
       # instantiate then fails with "expected package … to be registered".
       - name: Install Julia 1.12
-        uses: julia-actions/setup-julia@4c0cb0fce8556fdb04a90347310e5db8b1f98fb9 # v2.7.0
+        uses: julia-actions/setup-julia@fa02766e078afaaf09b14210362cee14137e6a32 # v3.0.2
         with:
           version: '1.12.6'
 
@@ -78,21 +78,21 @@ jobs:
       # from ../../../ to ../../ without updating the symlink here, which broke
       # every instantiate with "expected package KnotTheory to exist at path".
       - name: Checkout KnotTheory.jl
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
         with:
           repository: hyperpolymath/KnotTheory.jl
           ref: 58a904d28212817053a14f73b415fd30a434857c
           path: deps/KnotTheory.jl
 
       - name: Checkout Skein.jl
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
         with:
           repository: hyperpolymath/Skein.jl
           ref: 84bfe4134d8fca9e22114db1ec8410aa6066ba90
           path: deps/Skein.jl
 
       - name: Checkout AcceleratorGate.jl
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
         with:
           repository: hyperpolymath/AcceleratorGate.jl
           ref: b24e9f00d89edd5a4a7940252799737024c32d41
@@ -137,7 +137,7 @@ jobs:
     timeout-minutes: 30
     steps:
       - name: Checkout
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
 
       - name: Install Agda + standard library
         run: |
@@ -176,7 +176,7 @@ jobs:
     timeout-minutes: 15
     steps:
       - name: Checkout
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
 
       # The ubuntu-latest image ships a Temurin JDK; TLC needs Java 11+.
       - name: Fetch TLA+ tools (pinned release, checksum-verified)

.github/workflows/pages.yml

@@ -22,9 +22,9 @@ jobs:
       image: ghcr.io/stefan-hoeck/idris2-pack@sha256:f0758996a931fb35d9ecb1de273c4d59dabe2a09b433afc7e357f65a08b7e1ff
     steps:
       - name: Checkout Site
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
       - name: Checkout Ddraig SSG
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
         with:
           repository: hyperpolymath/ddraig-ssg
           path: .ddraig-ssg

.github/workflows/push-email-notify.yml

@@ -41,7 +41,7 @@ jobs:
     timeout-minutes: 5
     steps:
       - name: Send push notification email
-        uses: hyperpolymath/smtp-notify-action@v0.2.0
+        uses: hyperpolymath/smtp-notify-action@v0.3.0
         with:
           server_address: ${{ secrets.SMTP_HOST }}
           server_port: ${{ secrets.SMTP_PORT }}

.github/workflows/read-only-api-gate.yml

@@ -47,7 +47,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v7.0.1
+        uses: actions/checkout@v7
 
       - name: Scan server/serve.jl for mutating Skein.jl calls
         run: |

.github/workflows/verification-image.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 25
     steps:
-      - uses: actions/checkout@v7.0.1
+      - uses: actions/checkout@v7
         with:
           persist-credentials: false
       - name: Build image and run embedded tests