Nix build for vellvm

Remove Show Proof in InfiniteToFinite.v #876

Sign in to view logs

Triggered via push April 15, 2024 18:30

Chobbes

finite-memory

Status Success

Total duration 1h 16m 46s

Artifacts –

test.yml

on: push

Matrix: tests