Age | Commit message (Expand) | Author |
---|---|---|
2019-10-27 | GitHub Actions: switch back to the GitHub artifacts for PRs | Dirk Hohndel |
2019-10-25 | GitHub Actions: fix several errors in previous commits | Dirk Hohndel |
2019-10-25 | GitHub Actions: add apt-get update before installing curl | Dirk Hohndel |
2019-10-25 | GitHub Actions: only build pushes into and PR against master | Dirk Hohndel |
2019-10-25 | GitHub Actions: push to transfer.sh for PRs, post release for pushes | Dirk Hohndel |
2019-10-25 | GitHub Actions: run them on pull requests as well | Dirk Hohndel |
2019-10-18 | GitHub Actions: add Android build | Dirk Hohndel |