Skip to content
QA

Add support for subtractions contenting references as right hand side operands #9612

Sign in to view logs

Add support for subtractions contenting references as right hand side operands

Add support for subtractions contenting references as right hand side operands #9612

Triggered via pull request December 23, 2024 16:12
@FrancoGiachettaFrancoGiachetta
synchronize #1898
references-substraction
Status Cancelled
Total duration 11m 4s
Artifacts 1

rust.yml

on: pull_request
Build release binary for comparisons
3m 18s
Build release binary for comparisons
upload_proof_programs_symlinks
18s
upload_proof_programs_symlinks
Build the wasm demo
1m 40s
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 0s
Compare factorial outputs for all layouts
Run Lints
2m 20s
Run Lints
Matrix: Run tests
Make sure all builds work (no_std)
34s
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 13s
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
0s
Upload coverage results to codecov.io
Fit to window
Zoom out
Zoom in

Annotations

70 errors and 1 warning
Run tests (extensive_hints, test-wasm)
Process completed with exit code 1.
Run tests (test-wasm)
Process completed with exit code 1.
Run tests (cairo-0-secp-hints, test-wasm)
Process completed with exit code 1.
Run tests (mod_builtin, test-wasm)
Process completed with exit code 1.
Make sure all builds work (vm)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Make sure all builds work (vm)
The operation was canceled.
Run tests (extensive_hints, test#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test#3)
The operation was canceled.
Run tests (cairo-0-secp-hints, test#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test#1)
The operation was canceled.
Run tests (extensive_hints, test#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test#2)
The operation was canceled.
Run tests (test#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test#4)
The operation was canceled.
Run tests (mod_builtin, test#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test#1)
The operation was canceled.
Run tests (test#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test#1)
The operation was canceled.
Run tests (test-no_std#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test-no_std#1)
The operation was canceled.
Run tests (extensive_hints, test-no_std#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test-no_std#4)
The operation was canceled.
Run tests (mod_builtin, test-no_std#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test-no_std#4)
The operation was canceled.
Run tests (cairo-0-secp-hints, test-no_std#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test-no_std#1)
The operation was canceled.
Run tests (cairo-0-secp-hints, test#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test#4)
The operation was canceled.
Run tests (cairo-0-secp-hints, test#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test#2)
The operation was canceled.
Run tests (extensive_hints, test#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test#4)
The operation was canceled.
Run tests (mod_builtin, test#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test#2)
The operation was canceled.
Run tests (extensive_hints, test-no_std#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test-no_std#1)
The operation was canceled.
Run tests (test#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test#3)
The operation was canceled.
Run tests (extensive_hints, test#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test#1)
The operation was canceled.
Run tests (test#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test#2)
The operation was canceled.
Run tests (extensive_hints, test-no_std#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test-no_std#2)
The operation was canceled.
Run tests (mod_builtin, test-no_std#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test-no_std#3)
The operation was canceled.
Run tests (extensive_hints, test-no_std#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (extensive_hints, test-no_std#3)
The operation was canceled.
Run tests (test-no_std#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test-no_std#2)
The operation was canceled.
Run tests (mod_builtin, test-no_std#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test-no_std#2)
The operation was canceled.
Run tests (cairo-0-secp-hints, test-no_std#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test-no_std#4)
The operation was canceled.
Run tests (mod_builtin, test-no_std#1)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test-no_std#1)
The operation was canceled.
Run tests (mod_builtin, test#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test#4)
The operation was canceled.
Run tests (cairo-0-secp-hints, test-no_std#2)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test-no_std#2)
The operation was canceled.
Run tests (test-no_std#4)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test-no_std#4)
The operation was canceled.
Run tests (cairo-0-secp-hints, test-no_std#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test-no_std#3)
The operation was canceled.
Run tests (test-no_std#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (test-no_std#3)
The operation was canceled.
Run tests (mod_builtin, test#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (mod_builtin, test#3)
The operation was canceled.
Run tests (cairo-0-secp-hints, test#3)
Canceling since a higher priority waiting request for 'QA-refs/pull/1898/merge' exists
Run tests (cairo-0-secp-hints, test#3)
The operation was canceled.
Merge Cairo programs cache
Cache save failed.

Artifacts

Produced during runtime
Name Size
proof_programs
120 KB