Skip to content
CI

Use more static approach in sel4-newlib crate #176

Sign in to view logs

Use more static approach in sel4-newlib crate

Use more static approach in sel4-newlib crate #176

Re-run triggered January 6, 2024 07:14
@nspinnspin
#55
nspin:pr/more-static-newlib
Status Success
Total duration 8m 29s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
8s
Check licenses
Check source
1m 41s
Check source
Run other tests
6m 49s
Run other tests
Build docs
2m 2s
Build docs
Check dependencies
2m 42s
Check dependencies
Check Kani proofs
3m 22s
Check Kani proofs
Build everything
8m 15s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in