diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8b013445c7c484fabc4aa0fb03048fd6010eedf0..61995706466eb9ff4e7b54b138bd4a2a4d1245b8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,6 +3,8 @@ variables: MINGW32_BOOST_VERSION: 1.81.0-7 MINGW64_BOOST_VERSION: 1.81.0-7 WGET_OPTIONS: '--no-verbose --no-use-server-timestamps --retry-connrefused --retry-on-host-error' + # To ensure that "false && true" fails, see https://gitlab.com/gitlab-org/gitlab-runner/-/issues/25394#note_412609647 + FF_ENABLE_BASH_EXIT_CODE_CHECK: 'true' build_linux_x86_64: stage: build