summaryrefslogtreecommitdiff
path: root/.github/workflows/push.yml
AgeCommit message (Expand)Author
2021-03-10Drop comments, and make push workflow use same matrix as pullrequest.Dimitri John Ledkov
2021-03-09CI: show our compilation when it failsPeter Jones
2021-03-09CI: try to update submodulesPeter Jones
2021-02-16Make httpboot.c always get built.Peter Jones
2020-12-10Split up push and PR CI/CD and build all patches in series on PRsPeter Jones