Skip to content
Black Code Formatter

fix LakeMain.lean #722

Sign in to view logs

fix LakeMain.lean

fix LakeMain.lean #722

Triggered via push October 6, 2024 20:47
@yangky11yangky11
pushed ab13370
main
Status Success
Total duration 21s
Artifacts –

format_code.yaml

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