Skip to content

Address clippy lints #178

Address clippy lints

Address clippy lints #178

Triggered via pull request January 6, 2024 23:04
Status Success
Total duration 14m 36s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
2m 45s
Check dependencies
Check Kani proofs
3m 16s
Check Kani proofs
Build everything
7m 35s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in