Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-26 | ci: move `cargo build` to its own step | Pietro 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-14 | ci: increase fetch depth | Pietro Albini | |
2019-08-14 | ci: only deploy on github pages from master | Pietro Albini | |
2019-08-14 | ci: use deploy keys to push to github pages | Pietro Albini | |
2019-08-14 | ci: add github actions | Pietro Albini | |