Skip to content
Typechecker

allow submodule for local type #273

Sign in to view logs

allow submodule for local type

allow submodule for local type #273

Triggered via pull request September 11, 2024 01:39
@RexWzhRexWzh
opened #206
Lean-zh:main
Status Failure
Total duration 1m 4s
Artifacts –

type_check.yaml

on: pull_request
types
51s
types
Fit to window
Zoom out
Zoom in

Annotations

1 error
types
Process completed with exit code 1.