Skip to content
Black Code Formatter

Merge pull request #195 from lean-dojo/dev #698

Sign in to view logs

Merge pull request #195 from lean-dojo/dev

Merge pull request #195 from lean-dojo/dev #698

Triggered via push August 12, 2024 14:42
@yangky11yangky11
pushed b5c3b97
v2.1.1
Status Success
Total duration 27s
Artifacts –

format_code.yaml

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