Skip to content

feat: multithreading proof generator #97

feat: multithreading proof generator

feat: multithreading proof generator #97

Triggered via pull request December 24, 2023 16:38
Status Success
Total duration 18m 25s
Artifacts

build.yml

on: pull_request
Call Reusable SyncWith Handler  /  Handle SyncWith tag: link to issue, fetch SHAs, trigger related PRs
7s
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.