Skip to content
CI

Acheive REUSE compliance #108

Sign in to view logs

Acheive REUSE compliance

Acheive REUSE compliance #108

Triggered via pull request October 23, 2023 11:49
@nspinnspin
synchronize #35
nspin:pr/reuse-compliance
Status Failure
Total duration 6m 37s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
13s
Check licenses
Check source
1m 56s
Check source
Run other tests
5m 13s
Run other tests
Build docs
2m 9s
Build docs
Check dependencies
5m 39s
Check dependencies
Check Kani proofs
4m 35s
Check Kani proofs
Build everything
0s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check licenses
Action license-check failed.