Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-08-23 | GitHub Actions: Prepend emoji to platform names for easy visual grepping | Hugo Locurcio | |
2020-08-11 | CI: Properly exclude Azure repositories on Ubuntu | Rémi Verschelde | |
Nuke all the pre-defined repos, we just need stock Ubuntu. | |||
2020-07-24 | CI: Fix cache key and include base branch | Rémi Verschelde | |
The base branch is hardcoded as an env variable as I couldn't find a simple way to just get either `3.2` or `master`. But it's easy to change when we branch off from `master` to a new stable branch, which doesn't happen often. (There's `{{github.base_ref}}` but it's probably more verbose like `ref/heads/master`, and only valid for PRs.) | |||
2020-07-24 | Improve the cache keys to prevent clashes for the wrong type of build | Gordon MacPherson | |
2020-07-24 | Clamp scons cache to 4096 MB | Gordon MacPherson | |
2020-07-23 | CI: Added Android GitHub Action | thebestnom | |