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
Aaron Franke	e5df1362df	Split CI builds into workflows for each OS	2020-07-21 15:12:16 -04:00