Skip to content
Lean (build)

[WIP] Convert Prop to Type, convert from pcongOBJ to pcongOBJ #29

Sign in to view logs

[WIP] Convert Prop to Type, convert from pcongOBJ to pcongOBJ

[WIP] Convert Prop to Type, convert from pcongOBJ to pcongOBJ #29

Triggered via push January 16, 2024 12:05
@AnatolayAnatolay
pushed a3425c2
parallel-reduction
Status Failure
Total duration 30s
Artifacts –

lean.yml

on: push
Build
21s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.