Skip to content
Continuous Integration - proof verification tests

Optimizations #123

Sign in to view logs

Optimizations

Optimizations #123

Triggered via pull request July 17, 2024 08:02
@fmkrafmkra
synchronize #136
optimizations
Status Failure
Total duration 46s
Artifacts –

proof_verification_tests.yml

on: pull_request
Matrix: verify-proof-cairo0
Matrix: verify-proof-cairo1
Fit to window
Zoom out
Zoom in

Annotations

57 errors and 6 warnings
verify-proof-cairo1 (cairo1, dex): src/lib.cairo#L25
Missing token TerminalRBrace.
verify-proof-cairo1 (cairo1, dex): src/lib.cairo#L25
Missing token TerminalSemicolon.
verify-proof-cairo1 (cairo1, dex)
Process completed with exit code 1.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Skipped tokens. Expected: path segment.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Missing token TerminalComma.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Missing token TerminalComma.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Missing token TerminalRBrace.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Missing token TerminalSemicolon.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Skipped tokens. Expected: path segment.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Identifier not found.
verify-proof-cairo1 (cairo1, recursive_with_poseidon): src/lib.cairo#L32
Identifier not found.
verify-proof-cairo1 (cairo1, recursive_with_poseidon)
Process completed with exit code 1.
verify-proof-cairo1 (cairo1, recursive)
The job was canceled because "cairo1_recursive_with_pos" failed.
verify-proof-cairo1 (cairo1, recursive): src/lib.cairo#L28
Missing token TerminalRBrace.
verify-proof-cairo1 (cairo1, recursive): src/lib.cairo#L28
Missing token TerminalSemicolon.
verify-proof-cairo1 (cairo1, recursive)
Process completed with exit code 1.
verify-proof-cairo0 (cairo0, starknet): src/lib.cairo#L37
Missing token TerminalRBrace.
verify-proof-cairo0 (cairo0, starknet): src/lib.cairo#L37
Missing token TerminalSemicolon.
verify-proof-cairo0 (cairo0, starknet)
Process completed with exit code 1.
verify-proof-cairo1 (cairo1, small)
The job was canceled because "cairo1_recursive_with_pos" failed.
verify-proof-cairo1 (cairo1, small): src/lib.cairo#L34
Missing token TerminalRBrace.
verify-proof-cairo1 (cairo1, starknet)
The job was canceled because "cairo1_recursive_with_pos" failed.
verify-proof-cairo1 (cairo1, small): src/lib.cairo#L34
Missing token TerminalSemicolon.
verify-proof-cairo1 (cairo1, starknet): src/lib.cairo#L37
Missing token TerminalRBrace.
verify-proof-cairo1 (cairo1, small)
The operation was canceled.
verify-proof-cairo1 (cairo1, starknet): src/lib.cairo#L37
Missing token TerminalSemicolon.
verify-proof-cairo1 (cairo1, starknet)
The operation was canceled.
verify-proof-cairo0 (cairo0, dex)
The job was canceled because "cairo0_starknet" failed.
verify-proof-cairo0 (cairo0, dex): src/lib.cairo#L25
Missing token TerminalRBrace.
verify-proof-cairo0 (cairo0, dex): src/lib.cairo#L25
Missing token TerminalSemicolon.
verify-proof-cairo0 (cairo0, dex)
Process completed with exit code 1.
verify-proof-cairo0 (cairo0, small)
The job was canceled because "cairo0_starknet" failed.
verify-proof-cairo0 (cairo0, small): src/lib.cairo#L34
Missing token TerminalRBrace.
verify-proof-cairo0 (cairo0, small): src/lib.cairo#L34
Missing token TerminalSemicolon.
verify-proof-cairo0 (cairo0, small)
Process completed with exit code 1.
verify-proof-cairo0 (cairo0, recursive)
The job was canceled because "cairo0_starknet" failed.
verify-proof-cairo0 (cairo0, recursive): src/lib.cairo#L28
Missing token TerminalRBrace.
verify-proof-cairo0 (cairo0, recursive): src/lib.cairo#L28
Missing token TerminalSemicolon.
verify-proof-cairo0 (cairo0, recursive)
The operation was canceled.
verify-proof-cairo0 (cairo0, recursive_with_poseidon)
The job was canceled because "cairo0_starknet" failed.
verify-proof-cairo0 (cairo0, recursive_with_poseidon)
The operation was canceled.
verify-proof-cairo0 (cairo0, starknet_with_keccak)
The job was canceled because "cairo0_starknet" failed.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Skipped tokens. Expected: path segment.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Missing token TerminalComma.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Missing token TerminalComma.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Skipped tokens. Expected: path segment.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Identifier not found.
verify-proof-cairo0 (cairo0, starknet_with_keccak): src/lib.cairo#L41
Identifier not found.
verify-proof-cairo0 (cairo0, starknet_with_keccak)
The operation was canceled.
verify-proof-cairo1 (cairo1, starknet_with_keccak)
The job was canceled because "cairo1_recursive_with_pos" failed.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Skipped tokens. Expected: path segment.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Missing token TerminalComma.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Missing token TerminalComma.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Skipped tokens. Expected: path segment.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Identifier not found.
verify-proof-cairo1 (cairo1, starknet_with_keccak): src/lib.cairo#L41
Identifier not found.
verify-proof-cairo1 (cairo1, starknet_with_keccak)
The operation was canceled.
verify-proof-cairo1 (cairo1, dex)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify-proof-cairo1 (cairo1, dex)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify-proof-cairo1 (cairo1, recursive_with_poseidon)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify-proof-cairo1 (cairo1, recursive_with_poseidon)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify-proof-cairo0 (cairo0, starknet)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify-proof-cairo0 (cairo0, starknet)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/