Lukas Dürrenberger b762276a27 Change GitHub Actions failure mode ... When a single GitHub Action build fails, the other builds should not be canceled, but instead should continue to build. Since the matrix is setup on OS level, a failing build on one OS usually doesn't mean it's broken for all OS.		2021-02-19 20:48:28 +01:00
..
workflows	Change GitHub Actions failure mode	2021-02-19 20:48:28 +01:00
ISSUE_TEMPLATE.md	Added GitHub issue and PR templates	2018-04-28 15:38:22 +02:00
PULL_REQUEST_TEMPLATE.md	Added GitHub issue and PR templates	2018-04-28 15:38:22 +02:00