Enable push workflow for PRs
1 parent f3a8588 commit 778f7546b8e4d5f20fbc9b2cb7000bf0495749fb
@Christian Mäder Christian Mäder authored on 30 Jan 2020
Showing 1 changed file
View
.github/workflows/push.yml