CI

CI #617

Sign in to view logs

Manually triggered July 16, 2024 11:47

nspin

i

Status Success

Total duration 15m 1s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything