Skip to content
CI

Mi dev zy #5

Sign in to view logs

Mi dev zy

Mi dev zy #5

Triggered via pull request July 17, 2024 07:49
@ZhiyuanSueZhiyuanSue
synchronize #3
mi_dev_zy
Status Success
Total duration 8m 12s
Artifacts –

push.yaml

on: pull_request
Check licenses
16s
Check licenses
Check source
1m 46s
Check source
Check dependencies
3m 10s
Check dependencies
Build docs
8m 2s
Build docs
Check Kani proofs
3m 22s
Check Kani proofs
Matrix: Run sel4test
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (ia32)
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (riscv32)
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (aarch64)
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (x86_64)
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (riscv64)
No push credentials found. Ignoring the 'useDaemon' option.
Run sel4test (aarch32)
No push credentials found. Ignoring the 'useDaemon' option.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.