CI

Improve core runtime crates #212

Sign in to view logs

Triggered via pull request January 17, 2024 08:01

nspin

synchronize #68

nspin:pr/improve-core-runtime-crates

Status Success

Total duration 11m 23s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything