Make Program.builtins public #9638
This workflow is awaiting approval from a maintainer in #1907
Triggered via pull request
January 3, 2025 18:29
ClementWalter
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #1907
rust.yml
on: pull_request
Build release binary for comparisons
upload_proof_programs_symlinks
Build the wasm demo
Matrix: Build Cairo programs
Waiting for pending jobs
Matrix: Compute memory and execution traces with cairo-vm
Waiting for pending jobs
Matrix: Compute memory and execution traces with cairo-lang
Waiting for pending jobs
Compare factorial outputs for all layouts
Run Lints
Matrix: Run tests
Waiting for pending jobs
Make sure all builds work (no_std)
Matrix: Make sure all builds work (workspace)
Waiting for pending jobs
Matrix: Make sure all builds work
Waiting for pending jobs
Compare all outputs from running Cairo PIEs
Compare outputs with dynamic layouts
Matrix: Compare memory and execution traces from cairo-lang and cairo-vm
Waiting for pending jobs
Upload coverage results to codecov.io