CI

CI #603

Sign in to view logs

Manually triggered July 14, 2024 03:27

nspin

i

Status Failure

Total duration 18m 6s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything

Annotations

2 errors

Check licenses

Action license-check failed.

Run other tests

Process completed with exit code 2.