Alexander Wilms 5222495701 Run CI on every push to develop branch instead of on a schedule ... Also remove logic to skip CI if it already ran for the same commit This prevents the CI badge in the README from showing a failure due to a skipped CI run and results in more up-to-date ccache caches for each PR's initial CI run		2024-01-30 20:51:27 +01:00
..
ISSUE_TEMPLATE	Create basic issue templates (#1260)	2022-12-27 13:09:48 +02:00
workflows	Run CI on every push to develop branch instead of on a schedule	2024-01-30 20:51:27 +01:00
dependabot.yml	corrected dependabot file name	2024-01-14 14:38:48 +02:00