Merge branch 'post-07' into post-08

This commit is contained in:
Philipp Oppermann
2021-03-10 09:13:39 +01:00

View File

@@ -16,6 +16,7 @@ jobs:
check:
name: Check
strategy:
fail-fast: false
matrix:
platform: [
ubuntu-latest,
@@ -41,6 +42,7 @@ jobs:
test:
name: Test
strategy:
fail-fast: false
matrix:
platform: [
ubuntu-latest,