Skip to content
style

Fix CircleCI prefix and rename job to be more visible (#851) #815

Sign in to view logs

Fix CircleCI prefix and rename job to be more visible (#851)

Fix CircleCI prefix and rename job to be more visible (#851) #815

Triggered via push November 18, 2025 07:54
@stefanvstefanv
pushed 0fc5f00
main
Status Success
Total duration 2m 23s
Artifacts –

lint.yml

on: push
Matrix: Lint
Fit to window
Zoom out
Zoom in