Commit graph

2 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 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