General trivial clean up #122
Triggered via pull request
October 24, 2023 11:00
nspin
Status
Cancelled
Total duration
7m 59s
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
12 errors
|
Check licenses
The run was canceled by @nspin.
|
|
Build docs
The run was canceled by @nspin.
|
|
Check dependencies
The run was canceled by @nspin.
|
|
Run sel4test (ia32)
The run was canceled by @nspin.
|
|
Check source
The run was canceled by @nspin.
|
|
Run sel4test (aarch64)
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 (riscv64)
The run was canceled by @nspin.
|
|
Run other tests
The run was canceled by @nspin.
|
|
Run sel4test (x86_64)
The run was canceled by @nspin.
|
|
Check Kani proofs
The run was canceled by @nspin.
|