Skip to content

Merge pull request #179 from Lean-zh/main #663

Merge pull request #179 from Lean-zh/main

Merge pull request #179 from Lean-zh/main #663

Triggered via push July 30, 2024 11:50
Status Success
Total duration 21s
Artifacts

format_code.yaml

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