CI: run pipelines also for pipeline config changes #12

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint (Library)	17s
Test (Library)	13s
Lint (Tools)	24s
Build (Tools)	17s
Test (Tools)	13s
	1m 24s