Skip to content
CI

Rework Cargo manifest management #114

Sign in to view logs

Rework Cargo manifest management

Rework Cargo manifest management #114

Triggered via pull request October 24, 2023 09:39
@nspinnspin
synchronize #36
nspin:pr/rework-cargo-manifest-management
Status Failure
Total duration 12m 24s
Artifacts –

push.yaml

on: pull_request
Matrix: Run sel4test
Check licenses
10s
Check licenses
Check source
1m 48s
Check source
Run other tests
5m 57s
Run other tests
Build docs
2m 31s
Build docs
Check dependencies
6m 12s
Check dependencies
Check Kani proofs
4m 39s
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.