File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6868
6969 - name : Cache Agda
7070 if : steps.detect.outputs.relevant == 'true'
71- uses : actions/cache@27d5ce7f107fe9357f9df03efb73ab90386fccae # v5 .0.5
71+ uses : actions/cache@2c8a9bd7457de244a408f35966fab2fb45fda9c8 # v6 .0.0
7272 with :
7373 path : |
7474 ~/.cabal
Original file line number Diff line number Diff line change @@ -88,14 +88,14 @@ jobs:
8888 # gh attest verify oci://ghcr.io/${{ github.repository }}:<tag> \
8989 # --repo ${{ github.repository }}
9090 - name : Attest container provenance (minimal image)
91- uses : actions/attest-build-provenance@e8998f949152b193b063cb0ec769d69d929409be # v2
91+ uses : actions/attest-build-provenance@a2bbfa25375fe432b6a289bc6b6cd05ecd0c4c32 # v4.1.0
9292 with :
9393 subject-name : ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
9494 subject-digest : ${{ steps.push.outputs.min_digest }}
9595 push-to-registry : true
9696
9797 - name : Attest container provenance (full image)
98- uses : actions/attest-build-provenance@e8998f949152b193b063cb0ec769d69d929409be # v2
98+ uses : actions/attest-build-provenance@a2bbfa25375fe432b6a289bc6b6cd05ecd0c4c32 # v4.1.0
9999 with :
100100 subject-name : ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
101101 subject-digest : ${{ steps.push.outputs.full_digest }}
Original file line number Diff line number Diff line change 3939 uses : Swatinem/rust-cache@65012b490220f477f20ab979e35ae732e6de4e68 # v2
4040
4141 - name : Install just
42- uses : taiki-e/install-action@b8cecb83565409bcc297b2df6e77f030b2a468d5 # v2.82.0
42+ uses : taiki-e/install-action@682e7d9e49c5e653d371fc6adbda67653461378a # v2.82.4
4343 with :
4444 # Governance R1 requires versioned family-tool pins
4545 # (just|must|trust|adjust|bust|dust|intend); bare `tool: just`
Original file line number Diff line number Diff line change 1515 runs-on : ubuntu-latest
1616 steps :
1717 - name : Send push notification email
18- uses : dawidd6/action-send-mail@6e502825a508b867ab2954ad6343b68787624c01 # pinned
18+ uses : dawidd6/action-send-mail@994f270325d4f7257aff241a35488ef54ba364a4 # pinned
1919 with :
2020 server_address : ${{ secrets.SMTP_HOST }}
2121 server_port : ${{ secrets.SMTP_PORT }}
Original file line number Diff line number Diff line change 3939 - name : Cache Cargo
4040 uses : Swatinem/rust-cache@65012b490220f477f20ab979e35ae732e6de4e68 # v2
4141 - name : Install just
42- uses : taiki-e/install-action@b8cecb83565409bcc297b2df6e77f030b2a468d5 # v2.82.0
42+ uses : taiki-e/install-action@682e7d9e49c5e653d371fc6adbda67653461378a # v2.82.4
4343 with :
4444 tool : just@1.51.0
4545 - name : Install system dependencies
Original file line number Diff line number Diff line change @@ -20,6 +20,6 @@ permissions:
2020
2121jobs :
2222 scan :
23- uses : hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml@3f7d0bbed133629b62052fd181a84e4e1c774f9a # main 2026-05-20
23+ uses : hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml@1c38f3379a3491504c3ea8bf80c3ddc48a497af7 # main 2026-05-20
2424 secrets :
2525 VERISIMDB_PAT : ${{ secrets.VERISIMDB_PAT }}
You can’t perform that action at this time.
0 commit comments