Daniel Siepmann e1f3613bb2 Trigger CI on pull_request ... Foreign contributions did not trigger the CI. This change will trigger CI also on foreign contributions (PRs).		2022-08-05 21:11:42 +02:00
..
ci.yaml	Trigger CI on pull_request	2022-08-05 21:11:42 +02:00