Skip to content

feat: multithreading proof generator #100

feat: multithreading proof generator

feat: multithreading proof generator #100

Triggered via pull request December 25, 2023 13:43
Status Success
Total duration 15m 39s
Artifacts

build.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
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-linux
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-linux
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.