summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Expand)Author
2020-10-03The update-sh should also commit file removalsTilo Spannagel
2020-08-28Runs after update.sh workflow.pierreozoux
2020-08-28Runs update before testing a PR.pierreozoux
2020-08-28Does not fail when there is nothing to commit.pierreozoux
2020-08-28Run update.sh on PR and on cron.pierreozoux
2020-06-30Replace Travis CI with GitHub actions (#939)Tilo Spannagel