Skip to content

Rework sel4-externally-shared crate #103

Rework sel4-externally-shared crate

Rework sel4-externally-shared crate #103

Triggered via pull request October 20, 2023 12:23
Status Success
Total duration 15m 28s
Artifacts

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
5m 57s
Check dependencies
Check Kani proofs
4m 5s
Check Kani proofs
Build everything
8m 32s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in