summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Collapse)Author
2019-08-26ci: move `cargo build` to its own stepPietro Albini
On GitHub Actions each step needs to be expanded manually to see the logs, and the previous "Validate the repository contents" step both compiled the validation tool and ran it. Most of the failures happen during the validation step, so people wanting to see the cause of the failure had to scroll a lot. This splits the validation in two steps: first the tool is built, and then it's run, fixing the issue.
2019-08-14ci: increase fetch depthPietro Albini
2019-08-14ci: only deploy on github pages from masterPietro Albini
2019-08-14ci: use deploy keys to push to github pagesPietro Albini
2019-08-14ci: add github actionsPietro Albini