diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock index b20c7e8..6525648 100644 --- a/.github/workflows/actions.lock +++ b/.github/workflows/actions.lock @@ -7,7 +7,7 @@ workflows: - 'actions/checkout@v7.0.1' '.github/workflows/codeql.yml': - 'actions/checkout@v7.0.1' - - 'github/codeql-action@9b3254085494b55a0f7c4c2b3d2d52cc712ce370' + - 'github/codeql-action@1fc58d04a4d4374f921bdac573c3811c240f9c26' '.github/workflows/coq-build.yml': - 'actions/checkout@v7.0.1' '.github/workflows/ffi-seams.yml': @@ -89,9 +89,9 @@ dependencies: commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124' owner_id: 47606891 repo_id: 331103973 - 'github/codeql-action@9b3254085494b55a0f7c4c2b3d2d52cc712ce370': - ref: 'v4.39.1' - commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370' + 'github/codeql-action@1fc58d04a4d4374f921bdac573c3811c240f9c26': + ref: 'v4.39.2' + commit: 'sha1-1fc58d04a4d4374f921bdac573c3811c240f9c26' owner_id: 9919 repo_id: 259445878 'github/codeql-action@db488ddef3bf6cb639b32c2e9a7c0a7ea8271d28': diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index c53eb2c..05fd599 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -43,12 +43,12 @@ jobs: uses: actions/checkout@v7.0.1 - name: Initialize CodeQL - uses: github/codeql-action/init@9b3254085494b55a0f7c4c2b3d2d52cc712ce370 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100) + uses: github/codeql-action/init@1fc58d04a4d4374f921bdac573c3811c240f9c26 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100) with: languages: ${{ matrix.language }} build-mode: ${{ matrix.build-mode }} - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@9b3254085494b55a0f7c4c2b3d2d52cc712ce370 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100) + uses: github/codeql-action/analyze@1fc58d04a4d4374f921bdac573c3811c240f9c26 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100) with: category: "/language:${{ matrix.language }}"