CI

Improve core runtime crates #210

Sign in to view logs

Triggered via pull request January 16, 2024 10:32

nspin

synchronize #68

nspin:pr/improve-core-runtime-crates

Status Success

Total duration 52m 58s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything