Skip to content
lint

Use URLs to detect git-like repos rather than name #131

Sign in to view logs

Use URLs to detect git-like repos rather than name

Use URLs to detect git-like repos rather than name #131

Triggered via pull request October 28, 2025 19:30
@jonkeanejonkeane
synchronize #748
github_name_as_repo_source
Status Success
Total duration 4m 7s
Artifacts –

lint.yaml

on: pull_request
lint
4m 3s
lint
Fit to window
Zoom out
Zoom in