2020-07-22 | whitequark | CI: replace Travis with GitHub Actions. | blob | commitdiff | raw |
2020-07-14 | whitequark | CI: run on pull requests as well, not just pushes. | blob | commitdiff | raw | diff to current |
2020-07-01 | whitequark | CI: build docs on all pushes, update only on | blob | commitdiff | raw | diff to current |
2020-06-30 | whitequark | docs: fix CI workflow. | blob | commitdiff | raw | diff to current |
2020-06-30 | whitequark | Add (heavily work in progress) documentation. | blob | commitdiff | raw | diff to current |