Merge remote-tracking branch 'origin/main' into mueller/test-examples-ci

This commit is contained in:
2021-11-08 11:30:58 +01:00
4 changed files with 139 additions and 3 deletions

View File

@ -1,6 +1,6 @@
on: [push]
name: build
name: ci
jobs:
check: