Skip to content
Typechecker

Add Support for Local and Remote Repositories #240

Sign in to view logs

Add Support for Local and Remote Repositories

Add Support for Local and Remote Repositories #240

Triggered via pull request July 29, 2024 15:35
@RexWzhRexWzh
synchronize #179
Lean-zh:main
Status Success
Total duration 1m 1s
Artifacts –

type_check.yaml

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