diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index d0c9dda..c934dc0 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -11,36 +11,31 @@ workflows:
         - 'julia-actions/setup-julia@v3.0.2'
         - 'sonarsource/sonarqube-scan-action@v8.2.2'
     '.github/workflows/codeql.yml':
-        - 'actions/checkout@v7'
+        - 'actions/checkout@v7.0.1'
         - 'github/codeql-action@v4.38.0'
     '.github/workflows/governance.yml': []
     '.github/workflows/hypatia-scan.yml': []
     '.github/workflows/instant-sync.yml':
         - 'peter-evans/repository-dispatch@v4.0.1'
     '.github/workflows/krl-verification.yml':
-        - 'actions/checkout@v7'
+        - 'actions/checkout@v7.0.1'
         - 'julia-actions/setup-julia@fa02766e078afaaf09b14210362cee14137e6a32'
     '.github/workflows/label-triage.yml': []
     '.github/workflows/labels.yml': []
     '.github/workflows/mirror.yml': []
     '.github/workflows/pages.yml':
-        - 'actions/checkout@v7'
+        - 'actions/checkout@v7.0.1'
         - 'actions/deploy-pages@v5.0.1'
         - 'actions/upload-pages-artifact@v5.0.0'
     '.github/workflows/push-email-notify.yml':
         - 'hyperpolymath/smtp-notify-action@v0.3.0'
     '.github/workflows/read-only-api-gate.yml':
-        - 'actions/checkout@v7'
+        - 'actions/checkout@v7.0.1'
     '.github/workflows/scorecard.yml': []
     '.github/workflows/secret-scanner.yml': []
     '.github/workflows/verification-image.yml':
-        - 'actions/checkout@v7'
+        - 'actions/checkout@v7.0.1'
 dependencies:
-    'actions/checkout@v7':
-        ref: 'v7'
-        commit: 'sha1-3d3c42e5aac5ba805825da76410c181273ba90b1'
-        owner_id: 44036562
-        repo_id: 197814629
     'actions/checkout@v7.0.1':
         ref: 'v7.0.1'
         commit: 'sha1-3d3c42e5aac5ba805825da76410c181273ba90b1'
@@ -89,7 +84,7 @@ dependencies:
         owner_id: 6759885
         repo_id: 1352485172
     'julia-actions/setup-julia@fa02766e078afaaf09b14210362cee14137e6a32':
-        ref: 'v3.0.2'
+        ref: 'fa02766e078afaaf09b14210362cee14137e6a32'
         commit: 'sha1-fa02766e078afaaf09b14210362cee14137e6a32'
         owner_id: 53965732
         repo_id: 202020219
@@ -108,3 +103,43 @@ dependencies:
         commit: 'sha1-ba9859eae8dd6bd29e412f25ddbbef3d032000f4'
         owner_id: 545988
         repo_id: 366408409
+    'actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9':
+        ref: 'v6.1.0'
+        commit: 'sha1-55cc8345863c7cc4c66a329aec7e433d2d1c52a9'
+        owner_id: 44036562
+        repo_id: 215566462
+    'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1':
+        ref: 'v7.0.1'
+        commit: 'sha1-3d3c42e5aac5ba805825da76410c181273ba90b1'
+        owner_id: 44036562
+        repo_id: 197814629
+    'actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a':
+        ref: 'v7.0.1'
+        commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
+        owner_id: 44036562
+        repo_id: 192625955
+    'dtolnay/rust-toolchain@6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772':
+        ref: 'stable'
+        commit: 'sha1-6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772'
+        owner_id: 1940490
+        repo_id: 260749683
+    'editorconfig-checker/action-editorconfig-checker@840e866d93b8e032123c23bac69dece044d4d84c':
+        ref: 'v2.2.0'
+        commit: 'sha1-840e866d93b8e032123c23bac69dece044d4d84c'
+        owner_id: 26415196
+        repo_id: 297874902
+    'erlef/setup-beam@54075bcc5e249e4758d363f27d099f55d843f124':
+        ref: 'v1.24.1'
+        commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
+        owner_id: 47606891
+        repo_id: 331103973
+    'ossf/scorecard-action@2d1146689b8cda280b9bc96326124645441f03bc':
+        ref: 'v2.4.4'
+        commit: 'sha1-2d1146689b8cda280b9bc96326124645441f03bc'
+        owner_id: 67707773
+        repo_id: 421101922
+    'webfactory/ssh-agent@e83874834305fe9a4a2997156cb26c5de65a8555':
+        ref: 'v0.10.0'
+        commit: 'sha1-e83874834305fe9a4a2997156cb26c5de65a8555'
+        owner_id: 135788
+        repo_id: 208510314