CI #558
nspinpush.yaml
on: workflow_dispatch
Check licenses
11s
Check source
25s
Run other tests
17s
Build docs
25s
Deploy docs
0s
Annotations
11 errors
|
Check licenses
The run was canceled by @nspin.
|
|
Check licenses
The operation was canceled.
|
|
Run other tests
The run was canceled by @nspin.
|
|
Check Kani proofs
The run was canceled by @nspin.
|
|
Check Kani proofs
The operation was canceled.
|
|
Build docs
The run was canceled by @nspin.
|
|
Build docs
The operation was canceled.
|
|
Check source
The run was canceled by @nspin.
|
|
Check source
The operation was canceled.
|
|
Check dependencies
The run was canceled by @nspin.
|
|
Check dependencies
The operation was canceled.
|