Skip to content
CI

Improve comment wrap width consistency #164

Sign in to view logs

Improve comment wrap width consistency

Improve comment wrap width consistency #164

Triggered via push December 28, 2023 16:51
@nspinnspin
pushed d6d8bd5
main
Status Success
Total duration 13m 29s
Artifacts –

push.yaml

on: push
Matrix: Run sel4test
Check licenses
14s
Check licenses
Check source
2m 6s
Check source
Run other tests
4m 4s
Run other tests
Build docs
1m 43s
Build docs
Check dependencies
2m 32s
Check dependencies
Check Kani proofs
3m 26s
Check Kani proofs
Build everything
7m 40s
Build everything
Deploy docs
52s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

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