CI

CI #240

Sign in to view logs

Manually triggered February 10, 2024 12:04

nspin

sel4test

Status Success

Total duration 36m 27s

Artifacts –

push.yaml

on: workflow_dispatch

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything