Tobias Brunner 8468b43891 github: Prevent duplicate CI runs ... This cancels previous runs of the same branch and skips runs of the same content (e.g. after merges or tags).		2020-12-15 10:42:43 +01:00
..
android.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00
lgtm.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00
linux.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00
macos.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00
sonarcloud.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00
windows.yml	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00