Skip to content
Nix Build

checkpoint commit #855

Sign in to view logs

checkpoint commit

checkpoint commit #855

Triggered via push September 5, 2023 21:28
@MicroProofsMicroProofs
pushed b93a3ee
mutual-recursion
Status Success
Total duration 17m 16s
Artifacts –

nix.yml

on: push
nix-build
17m 7s
nix-build
Fit to window
Zoom out
Zoom in