Skip to content
Lint Style

Substitute outdated lakefile.lean with lakefile.toml #67

Sign in to view logs

Substitute outdated lakefile.lean with lakefile.toml

Substitute outdated lakefile.lean with lakefile.toml #67

Triggered via push August 5, 2024 15:00
@pitmonticonepitmonticone
pushed 6bf7664
main
Status Success
Total duration 17s
Artifacts –

lint.yml

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