Skip to content

Add docs/SPECS.md #10778

Add docs/SPECS.md

Add docs/SPECS.md #10778

Triggered via pull request June 10, 2025 21:03
@DiegoCiviDiegoCivi
synchronize #2105
docs/specs
Status Success
Total duration 27m 18s
Artifacts 1

rust.yml

on: pull_request
Build release binary for comparisons
1m 11s
Build release binary for comparisons
upload_proof_programs_symlinks
17s
upload_proof_programs_symlinks
Build the wasm demo
1m 44s
Build the wasm demo
Merge Cairo programs cache
10s
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 6s
Compare factorial outputs for all layouts
Matrix: Run tests
Run Lints
2m 7s
Run Lints
Make sure all builds work (no_std)
43s
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 28s
Compare outputs with dynamic layouts
Compare all outputs from running Cairo PIEs
3m 34s
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
26s
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, cairo_programs/...
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: cairo_stwo_exclusive_programs-cache-ebb3cd41dc0e478c301526ca4a59424281fa89df657380fbfc8be99d3719330c
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
Merge Cairo programs cache
Cache save failed.

Artifacts

Produced during runtime
Name Size Digest
proof_programs
120 KB
sha256:4728b3aa27a2dc6441d555a8bb5a2cc92411407d908d5a221f62677a7760cd76