Skip to content
Lint Style

Update Chapter_06.lean #120

Sign in to view logs

Update Chapter_06.lean

Update Chapter_06.lean #120

Triggered via push November 10, 2024 06:40
@mo271mo271
pushed 1bc8c9f
main
Status Success
Total duration 10s
Artifacts –

lint.yml

on: push
style_lint
1s
style_lint
Fit to window
Zoom out
Zoom in