Skip to content
Merged
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-arch-binary/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ runs:
"target/x86_64-unknown-linux-gnu/release/${{ env.BINARY_NAME_DEST }}"

- name: Upload ${{ env.BINARY_NAME_DEST }} (${{ env.ARCH_NAME }}) to GCP
uses: google-github-actions/upload-cloud-storage@v2
uses: google-github-actions/upload-cloud-storage@c0f6160ff80057923ff50e5e567695cea181ec23 # v2.2.4
with:
path: "target/x86_64-unknown-linux-gnu/release/${{ env.BINARY_NAME_DEST }}"
destination: "sharp-binary-artifacts/${{ env.BINARY_NAME_DEST }}_${{ env.ARCH_NAME }}_artifacts/${{ env.SHORT_HASH }}/release"
50 changes: 25 additions & 25 deletions .github/workflows/check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,39 +14,39 @@ jobs:
rustfmt:
runs-on: namespace-profile-starkware-libs-proving-utils-medium-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
- uses: dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c # master
with:
components: rustfmt
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- run: scripts/rust_fmt.sh --check

clippy:
runs-on: namespace-profile-starkware-libs-proving-utils-medium-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
- uses: dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c # master
with:
components: clippy
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- run: scripts/clippy.sh

tests:
runs-on: namespace-profile-starkware-libs-proving-utils-large-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
with:
submodules: "true"
- run: rustup show
- run: rustup toolchain install ${{ env.NIGHTLY_VERSION }} --profile minimal
- uses: Swatinem/rust-cache@v2
- uses: actions/setup-python@v4
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- uses: actions/setup-python@7f4fc3e22c37d6ff65e88745f38bd3157c663f7c # v4.9.1
with:
python-version: "3.11"
- name: Free disk space
uses: jlumbroso/free-disk-space@v1.3.1
uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be # v1.3.1
with:
android: true
dotnet: true
Expand All @@ -64,13 +64,13 @@ jobs:
slow-tests:
runs-on: namespace-profile-starkware-libs-stwo-cairo-xlarge-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
- uses: dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c # master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- name: Install latest nextest release
uses: taiki-e/install-action@nextest
uses: taiki-e/install-action@5eef0a1a229795b1ebd3e9f72dd41d63a959d20f # nextest
- name: "Slow tests"
run: |
cargo +${{ env.NIGHTLY_VERSION }} nextest run --package leaf-prover --features=slow-tests --cargo-profile witness-opt-1 -j 1 -P ci
Expand All @@ -86,11 +86,11 @@ jobs:
verifier-stable:
runs-on: namespace-profile-starkware-libs-proving-utils-medium-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
- uses: dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c # master
with:
toolchain: ${{ env.STABLE_VERSION }}
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- name: Check verifier compiles on stable
env:
RUSTUP_TOOLCHAIN: ${{ env.STABLE_VERSION }}
Expand All @@ -99,26 +99,26 @@ jobs:
coverage:
runs-on: namespace-profile-starkware-libs-stwo-cairo-xlarge-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
with:
submodules: "true"
- uses: dtolnay/rust-toolchain@master
- uses: dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c # master
with:
toolchain: ${{ env.NIGHTLY_VERSION }}
components: llvm-tools-preview
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
- name: Install cargo-llvm-cov
uses: taiki-e/install-action@cargo-llvm-cov
uses: taiki-e/install-action@ed87afb44e1aa5ecc737d1d8cad72f2eeb3d3fec # cargo-llvm-cov
- name: Install latest nextest release
uses: taiki-e/install-action@nextest
uses: taiki-e/install-action@5eef0a1a229795b1ebd3e9f72dd41d63a959d20f # nextest
- name: Generate coverage report
run: |
cargo +${{ env.NIGHTLY_VERSION }} llvm-cov nextest --workspace --features slow-tests --cargo-profile witness-opt-1 -j 1 --lcov --output-path lcov.info
env:
RUST_MIN_STACK: 4194304
RUSTFLAGS: -C target-cpu=native
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v4
uses: codecov/codecov-action@b9fd7d16f6d7d1b5d2bec1a2887e65ceed900238 # v4.6.0
with:
token: ${{ secrets.CODECOV_TOKEN }}
files: lcov.info
Expand All @@ -127,11 +127,11 @@ jobs:
udeps:
runs-on: namespace-profile-starkware-libs-proving-utils-medium-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0
- run: rustup show
- run: rustup toolchain install ${{ env.STABLE_VERSION }} --profile minimal
- run: rustup toolchain install ${{ env.NIGHTLY_VERSION }} --profile minimal
- uses: Swatinem/rust-cache@v2
- uses: Swatinem/rust-cache@e18b497796c12c097a38f9edb9d0641fb99eee32 # v2
with:
cache-on-failure: true
- run: cargo +${{ env.STABLE_VERSION }} install cargo-udeps --locked
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/main_pr_ci_flow.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:
steps:
- name: Run Merge Gatekeeper on pull request
if: github.event_name == 'pull_request'
uses: upsidr/merge-gatekeeper@v1
uses: upsidr/merge-gatekeeper@09af7a82c1666d0e64d2bd8c01797a0bcfd3bb5d # v1.2.1
with:
token: ${{ secrets.GITHUB_TOKEN }}
timeout: 3600
Expand Down
12 changes: 6 additions & 6 deletions .github/workflows/upload_artifacts_workflow.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ jobs:
artifacts-push:
runs-on: namespace-profile-starkware-libs-proving-utils-medium-ubuntu-24-04-amd64
steps:
- uses: actions/checkout@v4
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0

- name: Get commit hash prefix for PR update
env:
Expand All @@ -22,13 +22,13 @@ jobs:
cargo build --release

- name: Authenticate with GCS
uses: "google-github-actions/auth@v2"
uses: "google-github-actions/auth@c200f3691d83b41bf9bbd8638997a462592937ed" # v2.1.13
with:
credentials_json: ${{ secrets.SHARP_BINARY_ARTIFACTS_WRITER_SA }}

- name: Upload cairo_program_runner x86_64 binary to GCP
id: upload_cairo_program_runner_x86
uses: "google-github-actions/upload-cloud-storage@v2"
uses: "google-github-actions/upload-cloud-storage@c0f6160ff80057923ff50e5e567695cea181ec23" # v2.2.4
with:
path: "target/release/cairo_program_runner"
destination: "sharp-binary-artifacts/cairo_program_runner_artifacts/${{ env.SHORT_HASH }}/release"
Expand All @@ -38,7 +38,7 @@ jobs:

- name: Upload stwo_vm_runner x86_64 binary to GCP
id: upload_stwo_vm_runner_x86
uses: "google-github-actions/upload-cloud-storage@v2"
uses: "google-github-actions/upload-cloud-storage@c0f6160ff80057923ff50e5e567695cea181ec23" # v2.2.4
with:
path: "target/release/stwo_vm_runner"
destination: "sharp-binary-artifacts/stwo_vm_runner_artifacts/${{ env.SHORT_HASH }}/release"
Expand All @@ -48,14 +48,14 @@ jobs:

- name: Upload stwo_run_and_prove binary to GCP
id: upload_stwo_run_and_prove
uses: "google-github-actions/upload-cloud-storage@v2"
uses: "google-github-actions/upload-cloud-storage@c0f6160ff80057923ff50e5e567695cea181ec23" # v2.2.4
with:
path: "target/release/stwo_run_and_prove"
destination: "sharp-binary-artifacts/stwo_run_and_prove_artifacts/${{ env.SHORT_HASH }}/release"

- name: Upload stwo_run_and_prove_recursive_tree binary to GCP
id: upload_stwo_run_and_prove_recursive_tree
uses: "google-github-actions/upload-cloud-storage@v2"
uses: "google-github-actions/upload-cloud-storage@c0f6160ff80057923ff50e5e567695cea181ec23" # v2.2.4
with:
path: "target/release/stwo_run_and_prove_recursive_tree"
destination: "sharp-binary-artifacts/stwo_run_and_prove_recursive_tree/${{ env.SHORT_HASH }}/release"
Expand Down
Loading