Skip to content
CI

cmm: Use toml-normalize lib instead of bin #148

Sign in to view logs

cmm: Use toml-normalize lib instead of bin

cmm: Use toml-normalize lib instead of bin #148

Triggered via push November 7, 2023 01:55
@nspinnspin
pushed 5ee15ea
main
Status Success
Total duration 15m 15s
Artifacts –

push.yaml

on: push
Matrix: Run sel4test
Check licenses
13s
Check licenses
Check source
2m 16s
Check source
Run other tests
4m 13s
Run other tests
Build docs
2m 49s
Build docs
Check dependencies
7m 21s
Check dependencies
Check Kani proofs
3m 46s
Check Kani proofs
Build everything
6m 38s
Build everything
Deploy docs
49s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

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