CI

Add Dafny test #400

Sign in to view logs

Triggered via push May 27, 2024 09:26

nspin

main

Status Success

Total duration 19m 38s

Artifacts –

push.yaml

on: push

Run other tests

Check dependencies

Check Kani proofs

Build everything