Skip to content
CI

Update zerocopy due to vulnerability #155

Sign in to view logs

Update zerocopy due to vulnerability

Update zerocopy due to vulnerability #155

Triggered via push December 23, 2023 03:44
@nspinnspin
pushed 2fff270
main
Status Success
Total duration 21m 59s
Artifacts –

push.yaml

on: push
Matrix: Run sel4test
Check licenses
10s
Check licenses
Check source
2m 48s
Check source
Run other tests
13m 44s
Run other tests
Build docs
8m 20s
Build docs
Check dependencies
2m 43s
Check dependencies
Check Kani proofs
3m 38s
Check Kani proofs
Build everything
6m 54s
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.