CI

CI #572

Sign in to view logs

Manually triggered July 8, 2024 22:55

nspin

x

Status Failure

Total duration 6m 30s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything

Annotations

1 error

Check licenses

Action license-check failed.