Skip to content
Lint

gh-38121: Make "[source]" link to develop branch on github #132

Sign in to view logs

gh-38121: Make "[source]" link to develop branch on github

gh-38121: Make "[source]" link to develop branch on github #132

Triggered via push May 31, 2024 22:34
@vbraunvbraun
pushed 973a7e3
develop
Status Success
Total duration 6m 11s
Artifacts –

lint.yml

on: push
Lint
6m 2s
Lint
Fit to window
Zoom out
Zoom in