Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 13 additions & 13 deletions .github/workflows/actions.lock
Original file line number Diff line number Diff line change
@@ -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/bridge-gate.yml':
- 'actions/checkout@v7.0.1'
Expand All @@ -15,7 +15,7 @@ workflows:
- 'google/clusterfuzzlite@v1'
'.github/workflows/codeql.yml':
- 'actions/checkout@v7.0.1'
- 'github/codeql-action@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2'
- 'github/codeql-action@24c54180a607b1449ed407dd24f251e4e9147c8d'
'.github/workflows/coq-build.yml':
- 'actions/checkout@v7.0.1'
'.github/workflows/doc-consonance.yml':
Expand Down Expand Up @@ -51,10 +51,10 @@ workflows:
- 'actions/checkout@v7.0.1'
'.github/workflows/rust-ci.yml':
- 'actions/checkout@v7.0.1'
- 'actions/upload-artifact@v7.0.1'
- 'actions/upload-artifact@v7.0.2'
- 'dtolnay/rust-toolchain@stable'
- 'rustsec/audit-check@v2.0.0'
- 'taiki-e/install-action@v2.87.21'
- 'taiki-e/install-action@v2.87.27'
'.github/workflows/scorecard.yml':
- 'hyperpolymath/standards@8750b94ac1bbe8c51ad13fe106669b13478f0b62'
'.github/workflows/secret-scanner.yml':
Expand Down Expand Up @@ -106,9 +106,9 @@ dependencies:
commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
owner_id: 44036562
repo_id: 192625955
'actions/upload-artifact@v7.0.1':
ref: 'v7.0.1'
commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
'actions/upload-artifact@v7.0.2':
ref: 'v7.0.2'
commit: 'sha1-cf430e030ddbb5b0abf93d22962f4752f3646cd9'
owner_id: 44036562
repo_id: 192625955
'actions/upload-pages-artifact@v5.0.0':
Expand Down Expand Up @@ -138,9 +138,9 @@ dependencies:
commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
owner_id: 47606891
repo_id: 331103973
'github/codeql-action@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2':
ref: 'v4.38.2'
commit: 'sha1-2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2'
'github/codeql-action@24c54180a607b1449ed407dd24f251e4e9147c8d':
ref: 'v4.38.3'
commit: 'sha1-24c54180a607b1449ed407dd24f251e4e9147c8d'
owner_id: 9919
repo_id: 259445878
'google/clusterfuzzlite@v1':
Expand Down Expand Up @@ -203,9 +203,9 @@ dependencies:
commit: 'sha1-779680da715d629ac1d338a641029a2f4372abb5'
owner_id: 580492
repo_id: 298565987
'taiki-e/install-action@v2.87.21':
ref: 'v2.87.21'
commit: 'sha1-4cef1412cce204788f482e778a0b9187f9626a29'
'taiki-e/install-action@v2.87.27':
ref: 'v2.87.27'
commit: 'sha1-ab6895351a88b908e96a4697860d4ffea5e57dbe'
owner_id: 43724913
repo_id: 442947557
'webfactory/ssh-agent@e83874834305fe9a4a2997156cb26c5de65a8555':
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -44,12 +44,12 @@ jobs:
persist-credentials: false

- name: Initialize CodeQL
uses: github/codeql-action/init@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
uses: github/codeql-action/init@24c54180a607b1449ed407dd24f251e4e9147c8d # 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@2892aa5e19bbd11bc0cff5427e3b750a04d9e3c2 # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
uses: github/codeql-action/analyze@24c54180a607b1449ed407dd24f251e4e9147c8d # v4.38.0 (4.38.1 blocked estate-wide; nexia-list#100)
with:
category: "/language:${{ matrix.language }}"
8 changes: 4 additions & 4 deletions .github/workflows/rust-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ jobs:
timeout-minutes: 60
steps:
- uses: actions/checkout@v7.0.1
- uses: taiki-e/install-action@v2.87.25
- uses: taiki-e/install-action@v2.87.27
with:
tool: cargo-deny
- run: cargo deny check advisories bans licenses sources
Expand All @@ -109,7 +109,7 @@ jobs:
- uses: dtolnay/rust-toolchain@stable
with:
components: llvm-tools-preview
- uses: taiki-e/install-action@v2.87.25
- uses: taiki-e/install-action@v2.87.27
- name: Generate lcov report
run: cargo llvm-cov --workspace --lcov --output-path lcov.info
- name: Enforce minimum coverage
Expand All @@ -127,7 +127,7 @@ jobs:
steps:
- uses: actions/checkout@v7.0.1
- uses: dtolnay/rust-toolchain@stable
- uses: taiki-e/install-action@v2.87.25
- uses: taiki-e/install-action@v2.87.27
with:
tool: cargo-mutants
- name: Run mutation tests on core invariant crates
Expand All @@ -142,7 +142,7 @@ jobs:
--no-shuffle \
--output mutants-out/
continue-on-error: true
- uses: actions/upload-artifact@v7.0.1
- uses: actions/upload-artifact@v7.0.2
if: always()
with:
name: mutants-report
Expand Down
Loading