4 commits

Author	SHA1	Message	Date
Rémi Verschelde	2cf5ad9ea9	CI: Fix cache key and include base branch ... 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 08:28:43 +02:00
Gordon MacPherson	afdce1e30c	Improve the cache keys to prevent clashes for the wrong type of build	2020-07-24 00:15:23 +01:00
Gordon MacPherson	3c07d0ff32	Clamp scons cache to 4096 MB	2020-07-24 00:14:03 +01:00
thebestnom	383ad22ee7	CI: Added Android GitHub Action	2020-07-23 19:36:53 +03:00