Tom M e8963251be Avoid unnecessary pipeline runs (#885) ... Pipelines should not be triggered when other pipelines are modified. This saves many resources when messing around with a single pipeline, because other pipelines won't run.		2021-05-10 23:19:24 +02:00
..
api_doc_build.yml	Update api_doc_build.yml	2021-03-19 19:50:40 +01:00
linux.yml	Avoid unnecessary pipeline runs (#885)	2021-05-10 23:19:24 +02:00
sonarcloud.yml	Avoid unnecessary pipeline runs (#885)	2021-05-10 23:19:24 +02:00