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