Skip to content
Back to pull request #1488

Proof mode, second draft #7291

Sign in to view logs

Proof mode, second draft

Proof mode, second draft #7291

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Cairo programs (cairo_bench_programs)
17s
Build release binary for comparisons
1m 19s
Build Cairo programs (cairo_proof_programs)
17s
Build Cairo programs (cairo_test_programs)
16s
Build Cairo programs (cairo_1_test_contracts)
23s
Build Cairo programs (cairo_2_test_contracts)
25s
Build the wasm demo
1m 51s
Run Lints
20s
Merge Cairo programs cache
8s
Compute memory and execution traces with cairo-lang (cairo_proof_programs, cairo_proof_trace, 1)
17s
Compute memory and execution traces with cairo-lang (cairo_test_programs, cairo_trace, 2)
25s
Run tests (test#1)
4m 20s
Make sure all builds work
19m 22s
Run tests (test#2)
4m 42s
Run tests (test#3)
5m 5s
Run tests (test#4)
4m 35s
Run tests (test-no_std#1)
4m 30s
Run tests (test-no_std#2)
4m 35s
Run tests (test-no_std#3)
5m 14s
Run tests (test-no_std#4)
4m 29s
Run tests (test-wasm)
2m 31s
Run tests (lambdaworks-felt, test#1)
4m 26s
Run tests (lambdaworks-felt, test#2)
4m 33s
Run tests (lambdaworks-felt, test#3)
4m 31s
Run tests (lambdaworks-felt, test#4)
4m 41s
Run tests (lambdaworks-felt, test-no_std#1)
4m 38s
Run tests (lambdaworks-felt, test-no_std#2)
4m 21s
Run tests (lambdaworks-felt, test-no_std#3)
4m 21s
Run tests (lambdaworks-felt, test-no_std#4)
4m 29s
Run tests (lambdaworks-felt, test-wasm)
2m 40s
Compute memory and execution traces with cairo-vm (cairo_proof_programs, cairo_programs/proof_pro...
6s
Compute memory and execution traces with cairo-vm (cairo_test_programs, cairo_programs)
11s
Compare memory and execution traces from cairo-lang and cairo-vm (cairo_proof_programs)
19s
Compare memory and execution traces from cairo-lang and cairo-vm (cairo_test_programs)
12s
Upload coverage results to codecov.io
0s
1h 44m 49s