CI

CI #622

Sign in to view logs

Manually triggered November 12, 2024 08:15

nspin

pr/nix-remove-impurity

Status Success

Total duration 1h 4m 2s

Artifacts –

push.yaml

on: workflow_dispatch

Run other tests

Check dependencies

Check Kani proofs

Build everything