Skip to content

Add Support for Local and Remote Repositories #661

Add Support for Local and Remote Repositories

Add Support for Local and Remote Repositories #661

Triggered via pull request July 29, 2024 17:53
@RexWzhRexWzh
synchronize #179
Lean-zh:main
Status Success
Total duration 20s
Artifacts

format_code.yaml

on: pull_request
format-code
11s
format-code
Fit to window
Zoom out
Zoom in