Skip to content
Closed
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
2 changes: 1 addition & 1 deletion .github/actions/build-wheels/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ runs:
fi
maturin build "${args[@]}"
- name: Upload wheel artefact
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: ${{ inputs.artifact-name }}
path: ${{ inputs.wheelhouse }}/*.whl
4 changes: 2 additions & 2 deletions .github/actions/pure-python-wheel/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ runs:
with:
python-version: ${{ inputs.python-version }}
- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false
# Without --sdist or --wheel, uv builds the sdist first and then the wheel
Expand All @@ -39,7 +39,7 @@ runs:
set -euo pipefail
uv build --out-dir "${OUT_DIR}"
- name: Upload sdist and wheel artefact
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: ${{ inputs.artifact-name }}
path: |
Expand Down
2 changes: 1 addition & 1 deletion .github/actions/release-telemetry/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ runs:
id: upload
if: ${{ !cancelled() && inputs.upload == 'true' }}
continue-on-error: true
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: release-telemetry-${{ github.job }}-${{ github.run_attempt }}
path: ${{ runner.temp }}/release-telemetry/records.jsonl
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/benchmark-gate-harness.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0

# Cached under the worktree-local directories the Makefile pins, which is
# what makes the dependency sync here a few seconds rather than a minute.
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/build-wheels.yml
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ jobs:
maturin-version: ${{ env.MATURIN_VERSION }}
- name: Upload wheel artefact (Linux)
if: startsWith(matrix.os, 'ubuntu')
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: wheels-native-${{ matrix.os }}-${{ matrix.arch }}
path: wheelhouse/*.whl
Expand Down Expand Up @@ -198,7 +198,7 @@ jobs:
3.14
3.12
- name: Download wheel artefacts
uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
uses: actions/download-artifact@9000827ccba6bdab643e8b6fd33ac0654aef8333 # v8.0.2
with:
path: dist
- name: Install pure Python wheel, then native wheel
Expand Down
20 changes: 10 additions & 10 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0

- name: Check the CV-005 contracts
run: make test-workflow-contracts
Expand Down Expand Up @@ -625,7 +625,7 @@ jobs:

- name: Install uv
if: env.LEG_RUNS == 'true'
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down Expand Up @@ -871,7 +871,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down Expand Up @@ -1022,7 +1022,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: true

Expand Down Expand Up @@ -1217,7 +1217,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down Expand Up @@ -1534,7 +1534,7 @@ jobs:
id: gate-log-upload
if: ${{ !cancelled() && env.ACT != 'true' && steps.gate-log.outputs.written == 'true' }}
continue-on-error: true
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: benchmark-gate-decision-${{ github.run_attempt }}
path: ${{ runner.temp }}/benchmark-gate/decisions.jsonl
Expand Down Expand Up @@ -1619,7 +1619,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down Expand Up @@ -1788,7 +1788,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down Expand Up @@ -2097,7 +2097,7 @@ jobs:

- name: Upload benchmark ratchet artefacts
if: always()
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: benchmark-ratchet
retention-days: 90
Expand Down Expand Up @@ -2182,7 +2182,7 @@ jobs:
${{ !cancelled() && github.event_name == 'push' &&
github.ref == 'refs/heads/main' &&
steps.candidate-artefacts.outputs.available == 'true' }}
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: benchmark-ratchet-main-baseline
if-no-files-found: error
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/coverage-main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/loom.yml
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ jobs:
python-version: '3.13'

- name: Install uv
uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
enable-cache: false

Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ jobs:
sparse-checkout: |
scripts
.github/actions/release-telemetry
- uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
- uses: actions/download-artifact@9000827ccba6bdab643e8b6fd33ac0654aef8333 # v8.0.2
with:
pattern: wheels-*
path: dist
Expand Down Expand Up @@ -133,7 +133,7 @@ jobs:
mkdir -p dist/attestations
bundle="cuprum-${GITHUB_REF_NAME}-run${GITHUB_RUN_ID}-${GITHUB_RUN_ATTEMPT}"
cp "${BUNDLE_PATH}" "dist/attestations/${bundle}.sigstore.json"
- uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
id: handoff
with:
name: release-dist
Expand Down Expand Up @@ -170,7 +170,7 @@ jobs:
- *phase-clock
- *scripts-checkout
- &release-dist
uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
uses: actions/download-artifact@9000827ccba6bdab643e8b6fd33ac0654aef8333 # v8.0.2
with:
name: release-dist
path: dist
Expand Down Expand Up @@ -202,7 +202,7 @@ jobs:
gh release download "${GITHUB_REF_NAME}" --pattern "${name}" \
--dir github-state/files
done < github-state/carryover.txt
- uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
- uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
id: handoff
with:
name: release-github-state
Expand Down Expand Up @@ -237,7 +237,7 @@ jobs:
- *phase-clock
- *scripts-checkout
- *release-dist
- uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
- uses: actions/download-artifact@9000827ccba6bdab643e8b6fd33ac0654aef8333 # v8.0.2
with:
name: release-github-state
path: github-state
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/rust-boundaries.yml
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ jobs:
run: sccache --show-stats --stats-format json
- name: Archive native evidence
if: always()
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: native-boundaries-${{ runner.os }}
path: rust/target/boundary-verification
Expand Down Expand Up @@ -128,7 +128,7 @@ jobs:
~/.cargo/git
key: ${{ env.CARGO_CACHE_KEY }}
restore-keys: ${{ env.CARGO_CACHE_PREFIX }}
- uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
- uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
python-version: '3.13'
- name: Restore pinned verifier, solver, and compiler objects
Expand Down Expand Up @@ -163,7 +163,7 @@ jobs:
run: sccache --show-stats --stats-format json
- name: Archive proof and negative compiler evidence
if: always()
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: verus-and-compiler-contracts
path: rust/target/boundary-verification
Expand Down Expand Up @@ -207,7 +207,7 @@ jobs:
~/.cargo/git
key: ${{ env.CARGO_CACHE_KEY }}
restore-keys: ${{ env.CARGO_CACHE_PREFIX }}
- uses: astral-sh/setup-uv@c18668ad3cf93ea998bef934396af7bb5c839dc7 # v10.2.0
- uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0
with:
python-version: '3.13'
- name: Restore proof tools and Miri sysroots
Expand Down Expand Up @@ -247,7 +247,7 @@ jobs:
make boundary-faults
- name: Archive proof summaries and failures
if: always()
uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
uses: actions/upload-artifact@cf430e030ddbb5b0abf93d22962f4752f3646cd9 # v7.0.2
with:
name: extended-${{ matrix.check }}
path: rust/target/boundary-verification
Expand Down
Loading