Skip to content

Add docs/SPECS.md #10777

Add docs/SPECS.md

Add docs/SPECS.md #10777

Triggered via pull request June 10, 2025 17:54
@DiegoCiviDiegoCivi
synchronize #2105
docs/specs
Status Success
Total duration 26m 51s
Artifacts 1

rust.yml

on: pull_request
Build release binary for comparisons
1m 5s
Build release binary for comparisons
upload_proof_programs_symlinks
17s
upload_proof_programs_symlinks
Build the wasm demo
1m 55s
Build the wasm demo
Merge Cairo programs cache
12s
Merge Cairo programs cache
Matrix: Compute memory and execution traces with cairo-vm
Matrix: Compute memory and execution traces with cairo-lang
Compare factorial outputs for all layouts
2m 4s
Compare factorial outputs for all layouts
Matrix: Run tests
Run Lints
2m 0s
Run Lints
Make sure all builds work (no_std)
39s
Make sure all builds work (no_std)
Matrix: Make sure all builds work (workspace)
Matrix: Make sure all builds work
Compare outputs with dynamic layouts
3m 17s
Compare outputs with dynamic layouts
Compare all outputs from running Cairo PIEs
3m 37s
Compare all outputs from running Cairo PIEs
Matrix: Compare memory and execution traces from cairo-lang and cairo-vm
Upload coverage results to codecov.io
19s
Upload coverage results to codecov.io
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Compute memory and execution traces with cairo-vm (cairo_stwo_exclusive_programs_proof_mode, cair...
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: cairo_stwo_exclusive_programs_proof_mode-cache-ebb3cd41dc0e478c301526ca4a59424281fa89df657380fbfc8be99d3719330c
Compute memory and execution traces with cairo-vm (cairo_stwo_exclusive_programs, cairo_programs/...
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: cairo_stwo_exclusive_programs-cache-ebb3cd41dc0e478c301526ca4a59424281fa89df657380fbfc8be99d3719330c
Merge Cairo programs cache
Cache save failed.

Artifacts

Produced during runtime
Name Size Digest
proof_programs
120 KB
sha256:4677579350d8e9a867ccf6875d361ed9cc796fcc8f24d28d8ed5a1de3dd55972