Skip to content
Nix Build

add compute for the new terms constr and case #763

Sign in to view logs

add compute for the new terms constr and case

add compute for the new terms constr and case #763

Triggered via push August 2, 2023 04:02
@MicroProofsMicroProofs
pushed e908cd1
case_constr_terms
Status Failure
Total duration 16m 27s
Artifacts –

nix.yml

on: push
nix-build
16m 18s
nix-build
Fit to window
Zoom out
Zoom in

Annotations

1 error
nix-build
Process completed with exit code 1.