Skip to content

577 new fast tbl

577 new fast tbl #1911

Triggered via pull request June 14, 2024 09:55
Status Cancelled
Total duration 16m 38s
Artifacts

build_linux.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
3s
Call Reusable SyncWith Handler / Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
Build zkLLVM, run local tests, prepare for integration testing
16m 7s
Build zkLLVM, run local tests, prepare for integration testing
Matrix: Generate proofs for cpp examples / Build prover, prove provided circuits
Waiting for pending jobs
Verify built-it proofs with EVM-placeholder  /  run-tests
Verify built-it proofs with EVM-placeholder / run-tests
merge-proofs-to-transpiler-output
0s
merge-proofs-to-transpiler-output
Verify proof-producer proofs with EVM-placeholder  /  run-tests
Verify proof-producer proofs with EVM-placeholder / run-tests
Clean up after integration testing
2s
Clean up after integration testing
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Build zkLLVM, run local tests, prepare for integration testing
Canceling since a higher priority waiting request for 'build-linux/refs/pull/611/merge' exists
Build zkLLVM, run local tests, prepare for integration testing
The operation was canceled.
Build zkLLVM, run local tests, prepare for integration testing
WARNING: Running pip as the 'root' user can result in broken permissions and conflicting behaviour with the system package manager. It is recommended to use a virtual environment instead: https://pip.pypa.io/warnings/venv
Build zkLLVM, run local tests, prepare for integration testing
WARNING: The directory '/github/home/.cache/pip' or its parent directory is not owned or is not writable by the current user. The cache has been disabled. Check the permissions and owner of that directory. If executing pip with sudo, you should use sudo's -H flag.
Clean up after integration testing
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: geekyeggo/delete-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.