Skip to content
Nix Build

checkpoint commit #854

Sign in to view logs

checkpoint commit

checkpoint commit #854

Triggered via push September 5, 2023 21:27
@MicroProofsMicroProofs
pushed d756664
mutual-recursion
Status Success
Total duration 24m 0s
Artifacts –

nix.yml

on: push
nix-build
23m 49s
nix-build
Fit to window
Zoom out
Zoom in