Skip to content
Lint Style

Merge branch 'main' of github.com:cadake/LeanTQI #13

Sign in to view logs

Merge branch 'main' of github.com:cadake/LeanTQI

Merge branch 'main' of github.com:cadake/LeanTQI #13

Triggered via push September 23, 2024 07:11
@cadakecadake
pushed 7aa9633
main
Status Success
Total duration 10s
Artifacts –

lint.yml

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