General trivial clean up #120
Triggered via pull request
October 24, 2023 10:51
nspin
Status
Cancelled
Total duration
17m 12s
Artifacts
–
push.yaml
on: pull_request
Matrix: Run sel4test
Check licenses
0s
Check source
0s
Run other tests
0s
Build docs
0s
Deploy docs
0s
Annotations
14 errors
|
Check source
The run was canceled by @nspin.
|
|
Check licenses
The run was canceled by @nspin.
|
|
Run sel4test (aarch32)
The run was canceled by @nspin.
|
|
Run sel4test (riscv32)
The run was canceled by @nspin.
|
|
Run sel4test (aarch64)
The run was canceled by @nspin.
|
|
Run sel4test (riscv64)
The run was canceled by @nspin.
|
|
Run sel4test (ia32)
The run was canceled by @nspin.
|
|
Run sel4test (x86_64)
The run was canceled by @nspin.
|
|
Build docs
The run was canceled by @nspin.
|
|
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.
|
|
Check dependencies
The run was canceled by @nspin.
|
|
Check dependencies
The operation was canceled.
|