chore(deps): bump the actions group across 1 directory with 3 updates

.github/workflows/actions.lock

@@ -1,7 +1,7 @@
 # This file is machine-generated by `gh actions-lock`.
 # Do not edit by hand; run `gh actions-lock` to update.
 # Docs: https://gh.io/actions-lockfile
-version: 'v0.0.2'
+version: 'v0.0.3'
 workflows:
     '.github/workflows/boj-build.yml':
         - 'actions/[email protected]'
@@ -14,7 +14,7 @@ workflows:
         - 'haskell-actions/[email protected]'
     '.github/workflows/codeql.yml':
         - 'actions/[email protected]'
-        - 'github/[email protected].2'
+        - 'github/[email protected].3'
     '.github/workflows/dogfood-gate.yml':
         - 'actions/[email protected]'
     '.github/workflows/governance.yml': []
@@ -25,14 +25,14 @@ workflows:
     '.github/workflows/placement-guard.yml':
         - 'actions/[email protected]'
     '.github/workflows/push-email-notify.yml':
-        - 'hyperpolymath/smtp-notify-action@v0.3.0'
+        - 'hyperpolymath/smtp-notify-action@v0.5.0'
     '.github/workflows/scorecard.yml': []
     '.github/workflows/secret-scanner.yml': []
     '.github/workflows/verify-tlaplus.yml':
         - 'actions/[email protected]'
         - 'actions/[email protected]'
         - 'actions/[email protected]'
-        - 'actions/[email protected].1'
+        - 'actions/[email protected].2'
 dependencies:
     'actions/[email protected]':
         ref: 'v6.1.0'
@@ -64,9 +64,9 @@ dependencies:
         commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
         owner_id: 44036562
         repo_id: 192625955
-    'actions/[email protected].1':
-        ref: 'v7.0.1'
-        commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
+    'actions/[email protected].2':
+        ref: 'v7.0.2'
+        commit: 'sha1-cf430e030ddbb5b0abf93d22962f4752f3646cd9'
         owner_id: 44036562
         repo_id: 192625955
     'actions/[email protected]':
@@ -76,18 +76,18 @@ dependencies:
         repo_id: 496012378
         uses:
             - 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
-    'github/[email protected].2':
-        ref: 'v4.38.2'
-        commit: 'sha1-2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2'
+    'github/[email protected].3':
+        ref: 'v4.38.3'
+        commit: 'sha1-24c54180a607b1449ed407dd24f251e4e9147c8d'
         owner_id: 9919
         repo_id: 259445878
     'haskell-actions/[email protected]':
         ref: 'v2.12.1'
         commit: 'sha1-0f8e8c99d88aeb3fbfd523f1ef2c6f762d10d64d'
         owner_id: 75048950
         repo_id: 623796603
-    'hyperpolymath/smtp-notify-action@v0.3.0':
-        ref: 'v0.3.0'
-        commit: 'sha1-22e7bdb322c430c1d0dac6b3bb307f4bb139d0be'
+    'hyperpolymath/smtp-notify-action@v0.5.0':
+        ref: 'v0.5.0'
+        commit: 'sha1-c1c9fa07992a02c1fd3d67a0dc1b08cccb852aef'
         owner_id: 6759885
         repo_id: 1352485172

.github/workflows/codeql.yml

@@ -41,12 +41,12 @@ jobs:
         uses: actions/[email protected]
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/[email protected].2
+        uses: github/codeql-action/[email protected].3
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/[email protected].2
+        uses: github/codeql-action/[email protected].3
         with:
           category: "/language:${{ matrix.language }}"

.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.3.0
+        uses: hyperpolymath/smtp-notify-action@v0.5.0
         with:
           server_address: ${{ secrets.SMTP_HOST }}
           server_port: ${{ secrets.SMTP_PORT }}

.github/workflows/verify-tlaplus.yml

@@ -92,7 +92,7 @@ jobs:
 
       - name: Upload TLC logs on failure
         if: failure()
-        uses: actions/[email protected].1
+        uses: actions/[email protected].2
         with:
           name: tlc-logs
           path: verisimdb/verification/proofs/tlaplus/*.log