Skip to content
Domainobjs

feat: proof parallelization #3705

Sign in to view logs

feat: proof parallelization

feat: proof parallelization #3705

Triggered via pull request July 3, 2024 17:40
@0xmad0xmad
opened #1627
feature/proof-parallelization
Status Cancelled
Total duration 46s
Artifacts –

domainobjs-build.yml

on: pull_request
build
32s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Domainobjs-feature/proof-parallelization' exists
build
The operation was canceled.