3 Commits

Author	SHA1	Message	Date
Xavier Claessens	b077c1403e	ci: Cache subprojects in docker images	2020-01-15 21:36:57 -05:00
Emmanuele Bassi	f6b4012c9d	ci: Update the MingW Docker image	2019-07-24 13:08:06 +01:00
Emmanuele Bassi	15d13d1e97	ci: Add a MinGW Docker image ... The Fedora image we use contains MinGW bits that ought to go into their own Docker container. This avoids having a massive Docker image that gloms everything and is harder to update. While we're splitting off, we can also update to Fedora 29, as we can rely on Fedora packagers doing their job and ensuring that the MinGW cross-compilation toolchain still works.	2019-04-30 18:21:15 +01:00