Skip to content
Typechecker

Merge pull request #181 from lean-dojo/kaiyu #211

Sign in to view logs

Merge pull request #181 from lean-dojo/kaiyu

Merge pull request #181 from lean-dojo/kaiyu #211

Triggered via push July 10, 2024 03:21
@yangky11yangky11
pushed 0295641
main
Status Success
Total duration 54s
Artifacts –

type_check.yaml

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