summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2021-03-22Try multi-arch CI building using cross compilationPeter Jones
2021-03-22Don't set LIBDIR in CI builds any more.Peter Jones
2021-03-10Drop comments, and make push workflow use same matrix as pullrequest.Dimitri John Ledkov
2021-03-10Add testsuite to the github pull request workflow.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
2021-02-05github workflows: add the sbat branch to one PR builds run forPeter Jones
2021-02-05github workflows: Unify the x86 pull request build rules stepsPeter Jones
2020-12-11Try to kick the github PR workflow...Peter Jones
2020-12-10Split up push and PR CI/CD and build all patches in series on PRsPeter Jones
2020-12-07Use github actions for CI buildsPeter Jones