CI

CI #598

Sign in to view logs

Manually triggered July 11, 2024 22:47

nspin

x

Status Success

Total duration 42m 39s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything