Skip to content

nix: Move note

nix: Move note #182

Triggered via push January 7, 2024 07:23
Status Success
Total duration 15m 44s
Artifacts

push.yaml

on: push
Matrix: Run sel4test
Check dependencies
2m 54s
Check dependencies
Check Kani proofs
3m 5s
Check Kani proofs
Build everything
8m 21s
Build everything
Deploy docs
47s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Deploy docs
Uploaded artifact size of 1153832960 bytes exceeds the allowed size of 1 GB. Deployment might fail.