Skip to content
QA

Add docs/SPECS.md #10776

Sign in to view logs

Add docs/SPECS.md

Add docs/SPECS.md #10776

Triggered via pull request June 10, 2025 15:22
@DiegoCiviDiegoCivi
synchronize #2105
docs/specs
Status Success
Total duration 31m 48s
Artifacts 1

rust.yml

on: pull_request
Build release binary for comparisons
1m 18s
Build release binary for comparisons
upload_proof_programs_symlinks
18s
upload_proof_programs_symlinks
Build the wasm demo
2m 4s
Build the wasm demo
Matrix: Build Cairo programs
Merge Cairo programs cache
17s
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 3s
Compare factorial outputs for all layouts
Matrix: Run tests
Run Lints
2m 17s
Run Lints
Make sure all builds work (no_std)
42s
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 10s
Compare outputs with dynamic layouts
Compare all outputs from running Cairo PIEs
5m 5s
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
34s
Upload coverage results to codecov.io
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 110 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
Build release binary for comparisons
Cache not found for keys: v0-rust-build-release-Linux-x64-6c5992dd-da39a3ee, v0-rust-build-release-Linux-x64-6c5992dd
Compute memory and execution traces with cairo-vm (cairo_stwo_exclusive_programs, cairo_programs/...
Cache save failed.
Compute memory and execution traces with cairo-vm (cairo_stwo_exclusive_programs_proof_mode, cair...
Cache save failed.
Make sure all builds work (workspace) (6)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (workspace) (6)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Make sure all builds work (workspace) (5)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Make sure all builds work (no_std)
Cache not found for keys: v0-rust-smoke-no-std-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-no-std-Linux-x64-6c5992dd
Make sure all builds work (workspace) (4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (workspace) (4)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Make sure all builds work (workspace) (3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (workspace) (3)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Make sure all builds work (workspace) (2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (workspace) (2)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Make sure all builds work (cairo1-run)
Cache not found for keys: v0-rust-smoke-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-Linux-x64-6c5992dd
Run Lints
Cache not found for keys: v0-rust-lint-Linux-x64-6c5992dd-da39a3ee, v0-rust-lint-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test-wasm)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test-wasm)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test-wasm)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test-wasm)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test-wasm)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Make sure all builds work (cairo-vm-cli)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (cairo-vm-cli)
Cache not found for keys: v0-rust-smoke-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-Linux-x64-6c5992dd
Make sure all builds work (workspace) (1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (workspace) (1)
Cache not found for keys: v0-rust-smoke-workspace-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-workspace-Linux-x64-6c5992dd
Run tests (extensive_hints, test-no_std#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test-no_std#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test-no_std#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test-no_std#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test-no_std#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test-no_std#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test-no_std#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test-no_std#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test-no_std#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test-no_std#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test-no_std#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test-no_std#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test-no_std#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test#3)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test#3)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (extensive_hints, test-no_std#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (extensive_hints, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test-no_std#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test-no_std#4)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-secp-hints, test-no_std#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-secp-hints, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test-no_std#2)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (mod_builtin, test-no_std#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (mod_builtin, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (test-no_std#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Run tests (cairo-0-data-availability-hints, test#1)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Run tests (cairo-0-data-availability-hints, test#1)
Cache not found for keys: v0-rust-tests-Linux-x64-6c5992dd-da39a3ee, v0-rust-tests-Linux-x64-6c5992dd
Make sure all builds work (vm)
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Make sure all builds work (vm)
Cache not found for keys: v0-rust-smoke-Linux-x64-6c5992dd-da39a3ee, v0-rust-smoke-Linux-x64-6c5992dd

Artifacts

Produced during runtime
Name Size Digest
proof_programs
120 KB
sha256:48aefb51067575f2bac3b1b2e506cfe1922377e821c360ab903cee1cb78ee10b