Skip to content
lint

CI: Change trigger of pull request events #158

Sign in to view logs

CI: Change trigger of pull request events

CI: Change trigger of pull request events #158

Triggered via push February 19, 2024 10:36
@ghisvailghisvail
pushed 6ad630d
main
Status Success
Total duration 22s
Artifacts –

lint.yaml

on: push
pre-commit
11s
pre-commit
Fit to window
Zoom out
Zoom in