Skip to content
lint-extras

ci: run tickgit after merging a PR in the devel branch #7429

Sign in to view logs

ci: run tickgit after merging a PR in the devel branch

ci: run tickgit after merging a PR in the devel branch #7429

Triggered via pull request November 7, 2023 14:20
@nixpanicnixpanic
opened #4241
nixpanic:ci/tickgit
Status Success
Total duration 4m 6s
Artifacts –

lint-extras.yaml

on: pull_request
lint-extras
3m 41s
lint-extras
Fit to window
Zoom out
Zoom in