| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-05 | GitHub Action: use the containers we create with GitHub Actions | |
| 2019-11-28 | GitHub Actions: let CI build docker images | |
| 2019-10-27 | GitHub Actions: switch back to the GitHub artifacts for PRs | |
| 2019-10-25 | GitHub Actions: fix several errors in previous commits | |
| 2019-10-25 | GitHub Actions: add apt-get update before installing curl | |
| 2019-10-25 | GitHub Actions: only build pushes into and PR against master | |
| 2019-10-25 | GitHub Actions: push to transfer.sh for PRs, post release for pushes | |
| 2019-10-25 | GitHub Actions: run them on pull requests as well | |
| 2019-10-18 | GitHub Actions: add Android build |