Typechecker

Merge pull request #243 from lean-dojo/v4.20.0 #306

Sign in to view logs

Triggered via push June 10, 2025 02:39

yangky11

main

Status Failure

Total duration 49s

Artifacts –

type_check.yaml

on: push

Annotations

1 error

Process completed with exit code 1.