Commit graph

3 commits

Author SHA1 Message Date
Hugo Locurcio
30c4b1b67e
GitHub Actions: Prepend emoji to platform names for easy visual grepping
(cherry picked from commit 82b30f36cb)
2020-08-25 14:36:22 +02:00
Rémi Verschelde
1244986f98 CI: Pin Emscripten version to 1.39.20 temporarily
1.40.0 introduced a regression for us:
https://github.com/emscripten-core/emscripten/issues/11771

This is not necessary in the master branch, presumably because
it doesn't build any WebGL code (yet).
2020-07-31 14:09:33 +02:00
Rémi Verschelde
4567eee79e CI: Backport GitHub Actions setup from master
Removes AppVeyor and all Travis jobs but the iOS one, which hasn't been ported
to GitHub Actions yet (should be done soon).

Backports new style scripts from `master` branch too to do the same checks.
2020-07-24 10:39:17 +02:00