Rémi Verschelde
e5a43e8549
CI: Re-enable sanitizers build
2020-10-01 19:15:17 +02:00
Rémi Verschelde
a0e419b617
CI: Disable sanitizer builds until we fix them
...
Added in #40994 but without recent rebase, so they don't pass currently.
2020-10-01 15:25:06 +02:00
Rémi Verschelde
0c3e0ab194
Merge pull request #40994 from qarmin/sanitization32
...
[3.2] Added Linux sanitizer with xvfb to github workspace
2020-10-01 13:56:09 +02:00
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
Rafał Mikrut
abd7c1833e
Added Linux sanitizer with xvfb to github workspace
2020-08-14 12:15:58 +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