CI

General trivial clean up #123

Sign in to view logs

Re-run triggered October 24, 2023 11:51

nspin

#37

nspin:pr/general-cleanup

Status Success

Total duration 13m 39s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything