Michael Gfeller df9bdc2fb0 FAST - trigger GitHub workflow also on PR synchronize event (#702) ... Add synchronize to the pull_request trigger so that the workflow is also run when the source branch is updated.		2022-06-27 10:13:41 +02:00
..
schemas	fix subnet schema (#651)	2022-05-09 11:53:57 +02:00
templates	FAST - trigger GitHub workflow also on PR synchronize event (#702)	2022-06-27 10:13:41 +02:00