summaryrefslogtreecommitdiff
path: root/.github/workflows/push.yml
AgeCommit message (Expand)Author
2019-12-31Removed benchmark actionBenjamin Chausse
2019-12-31Update push.ymlBenjamin Chausse
2019-12-31Create push.ymlBenjamin Chausse