Skip to content
lint

Update pipeline-def for docs #143

Sign in to view logs

Update pipeline-def for docs

Update pipeline-def for docs #143

Triggered via push October 22, 2023 00:47
@jgrujgru
pushed 9eacc8b
main
Status Success
Total duration 24s
Artifacts –

lint.yml

on: push
format
14s
format
lint
11s
lint
Fit to window
Zoom out
Zoom in