CI

CI #563

Sign in to view logs

Manually triggered July 3, 2024 07:14

nspin

x

Status Failure

Total duration 17m 42s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything

Annotations

1 error

Run other tests

Process completed with exit code 2.