Skip to content
Build documentation

Add bit-level circuit reasoning: circuit/extens tactics and bind command #35

Sign in to view logs

Add bit-level circuit reasoning: circuit/extens tactics and bind command

Add bit-level circuit reasoning: circuit/extens tactics and bind command #35

Triggered via pull request January 23, 2026 16:05
@Gustavo2622Gustavo2622
synchronize #752
bdep_ecCircuitsRefactor
Status Failure
Total duration 5m 29s
Artifacts –

docs.yml

on: pull_request
build
5m 23s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
The process '/opt/hostedtoolcache/opam/2.5.0/x86_64/opam' failed with exit code 40