diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-31 14:15:06 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-31 14:19:40 +0200 |
commit | bfd5226a8d9341eddb6950a56efb66c1f5a96480 (patch) | |
tree | 545d99c741ff0d45493866c0e8a2c948d1a00f75 /editor/icons/GuiScrollGrabber.svg | |
parent | b1efa0f07f9056737bee39ddd607a00be5f0a2ec (diff) |
CI: Pin Emscripten version for reproducible builds
Emscripten is a fast-moving target which gets tons of improvements all the time,
but it's not rare that some regressions affect us and make our CI builds fail.
(See e.g. #33728, #35237, #39168, #40563, and #40914.)
Let's pin to a stable version to avoid having external factors impact our CI,
and update this version manually regularly in a PR to ensure that the new
version works well for us.
Diffstat (limited to 'editor/icons/GuiScrollGrabber.svg')
0 files changed, 0 insertions, 0 deletions