Matthias 005ce05c24 Trigger CI on push or pull request, but not both (#689) ... See https://github.community/t/how-to-trigger-an-action-on-push-or-pull-request-but-not-both/16662 for more info		2022-07-11 18:07:46 +02:00
..
workflows	Trigger CI on push or pull request, but not both (#689)	2022-07-11 18:07:46 +02:00
dependabot.yml	Clean up dependabot.yml	2022-07-11 13:10:48 +02:00
FUNDING.yml	Create FUNDING.yml	2022-04-12 01:34:06 +02:00