Improve developer experience #161
Triggered via pull request
December 28, 2023 10:26
nspin
Status
Success
Total duration
11m 15s
Artifacts
–
push.yaml
on: pull_request
Matrix: Run sel4test
Check licenses
9s
Check source
1m 37s
Run other tests
4m 2s
Build docs
1m 30s
Deploy docs
0s