Repository navigation

fix(ci): include ordinary PR Dylint in the local gate #494

Job	Run time
Verify local gate	9s
Select boards for changed paths	8s
linux / Python facade tests (ubuntu-latest)	1m 13s
linux / Check (ubuntu-latest)	5m 25s
test	0s
full	0s
Verified reuse decision (shadow)	-1s
Build fbuild (shared by board jobs)	0s
matrix.workflow_name	0s
CI selected coverage	3s
	6m 57s