Skip to content
Push-Linter

change default focus borders #227

Sign in to view logs

change default focus borders

change default focus borders #227

Triggered via push September 17, 2023 12:09
@lars-bergerlars-berger
pushed 3f18278
feat/improve-sample-config
Status Success
Total duration 2m 46s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push-linter.yml

on: push
Push-Linter
2m 35s
Push-Linter
Fit to window
Zoom out
Zoom in