CI

Improve core runtime crates #208

Sign in to view logs

Triggered via pull request January 15, 2024 09:36

nspin

opened #68

nspin:pr/improve-core-runtime-crates

Status Success

Total duration 15m 45s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything