CI

Acheive REUSE compliance #107

Sign in to view logs

Triggered via pull request October 21, 2023 13:46

nspin

opened #35

nspin:pr/reuse-compliance

Status Failure

Total duration 7m 59s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything