Skip to content
lint

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

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 #130

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

lint.yaml

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