Skip to content
CI

CI #554

Sign in to view logs

CI

CI #554

Manually triggered July 1, 2024 23:22
@nspinnspin
⁠ 50a64de
x
Status Cancelled
Total duration 46m 19s
Artifacts –

push.yaml

on: workflow_dispatch
Check licenses
22s
Check licenses
Check source
2m 44s
Check source
Run other tests
46m 8s
Run other tests
Build docs
10m 20s
Build docs
Check dependencies
4m 5s
Check dependencies
Check Kani proofs
3m 41s
Check Kani proofs
Build everything
0s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Run other tests
The run was canceled by @nspin.
Run other tests
The operation was canceled.