Christian Mäder 778f7546b8 Enable push workflow for PRs

2020-01-30 15:48:01 +01:00

..

push.yml

Enable push workflow for PRs

2020-01-30 15:48:01 +01:00

release.yml

Fix build status badge

2020-01-23 09:35:30 +01:00