Skip to content
Typechecker

Merge pull request #197 from lean-dojo/dev #263

Sign in to view logs

Merge pull request #197 from lean-dojo/dev

Merge pull request #197 from lean-dojo/dev #263

Triggered via push August 14, 2024 17:38
@yangky11yangky11
pushed ee58ed9
main
Status Failure
Total duration 49s
Artifacts –

type_check.yaml

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

Annotations

1 error
types
Process completed with exit code 1.