Skip to content
QA

run the programs in stwo_exclusive_programs in proof mode #9913

Sign in to view logs

run the programs in stwo_exclusive_programs in proof mode

run the programs in stwo_exclusive_programs in proof mode #9913

Triggered via pull request February 15, 2025 14:05
@ohad-nir-starkwareohad-nir-starkware
opened #1953
ohadn/stwo_exclusive_programs-proof_mode
Status Success
Total duration 27m 22s
Artifacts 1

rust.yml

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

Annotations

4 errors and 112 warnings
Compute memory and execution traces with cairo-vm (cairo_programs/stwo_exclusive_programs, cairo_...
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: cairo_programs/stwo_exclusive_programs-cache-bb10fa7dca9b818b9c2db3ef3267e74cb447c1094c90aa24db251d9ba65a6425
Upload coverage results to codecov.io
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: codecov-cache-test-no_std--31dfb95d599dcffd6bb88bd5f7694f33c3609820
Upload coverage results to codecov.io
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: codecov-cache-test-no_std-extensive_hints-31dfb95d599dcffd6bb88bd5f7694f33c3609820
Upload coverage results to codecov.io
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: codecov-cache-test-no_std-mod_builtin-31dfb95d599dcffd6bb88bd5f7694f33c3609820
Build release binary for comparisons
Cache not found for keys: v0-rust-build-release-Linux-180a8356-da39a3ee, v0-rust-build-release-Linux-180a8356
Compute memory and execution traces with cairo-vm (cairo_programs/stwo_exclusive_programs, cairo_...
Cache save failed.
Compute memory and execution traces with cairo-vm (cairo_programs/stwo_exclusive_programs, cairo_...
Cache not found for keys: cairo_programs/stwo_exclusive_programs-cache-bb10fa7dca9b818b9c2db3ef3267e74cb447c1094c90aa24db251d9ba65a6425
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-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
Make sure all builds work (workspace) (5)
Cache not found for keys: v0-rust-smoke-workspace-Linux-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
Make sure all builds work (no_std)
Cache not found for keys: v0-rust-smoke-no-std-Linux-180a8356-da39a3ee, v0-rust-smoke-no-std-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
Make sure all builds work (cairo1-run)
Cache not found for keys: v0-rust-smoke-Linux-180a8356-da39a3ee, v0-rust-smoke-Linux-180a8356
Run tests (mod_builtin, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (cairo-0-data-availability-hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (extensive_hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (cairo-0-secp-hints, test-wasm)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-smoke-Linux-180a8356
Make sure all builds work (workspace) (1)
Cache not found for keys: v0-rust-smoke-workspace-Linux-180a8356-da39a3ee, v0-rust-smoke-workspace-Linux-180a8356
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
Run tests (extensive_hints, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (cairo-0-data-availability-hints, test#3)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (extensive_hints, test#3)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (extensive_hints, test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (cairo-0-secp-hints, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (extensive_hints, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (extensive_hints, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (mod_builtin, test-no_std#4)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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#3)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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#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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (mod_builtin, test#4)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (cairo-0-data-availability-hints, test#1)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (cairo-0-secp-hints, test#2)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (cairo-0-data-availability-hints, test-no_std#1)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (test-no_std#3)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (mod_builtin, test#2)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (cairo-0-data-availability-hints, test-no_std#2)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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 (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-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
Run tests (extensive_hints, test#1)
Cache not found for keys: v0-rust-tests-Linux-180a8356-da39a3ee, v0-rust-tests-Linux-180a8356
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
Upload coverage results to codecov.io
Cache not found for keys: codecov-cache-test-no_std--31dfb95d599dcffd6bb88bd5f7694f33c3609820
Upload coverage results to codecov.io
Cache not found for keys: codecov-cache-test-no_std-extensive_hints-31dfb95d599dcffd6bb88bd5f7694f33c3609820
Upload coverage results to codecov.io
Cache not found for keys: codecov-cache-test-no_std-mod_builtin-31dfb95d599dcffd6bb88bd5f7694f33c3609820
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-180a8356-da39a3ee, v0-rust-smoke-Linux-180a8356

Artifacts

Produced during runtime
Name Size
proof_programs
120 KB