Skip to content
Typechecker

fix LakeMain.lean #281

Sign in to view logs

fix LakeMain.lean

fix LakeMain.lean #281

Triggered via push October 6, 2024 20:47
@yangky11yangky11
pushed ab13370
main
Status Failure
Total duration 56s
Artifacts –

type_check.yaml

on: push
types
47s
types
Fit to window
Zoom out
Zoom in

Annotations

1 error
types
Process completed with exit code 1.