Add Support for Local and Remote Repositories #242

Sign in to view logs

Summary
Jobs
- types
Run details
- Usage
- Workflow file

Triggered via pull request July 29, 2024 18:36

RexWzh

synchronize #179

Lean-zh:main

Status Success

Total duration 50s

Artifacts –

type_check.yaml

on: pull_request