Commit Graph

3 Commits

Author SHA1 Message Date
adf6be522b fix git checkout path 2020-06-29 18:07:39 +02:00
eb2d11966f fix GitHub CI syntax for checkout path 2020-06-29 18:05:51 +02:00
e299ebef7e add GitHub CI pipeline 2020-06-29 18:00:46 +02:00