Thomas Huth <[email protected]> writes: > On 01/03/2021 15.06, Markus Armbruster wrote: >> Today I debugged why Paolo couldn't reproduce an assertion failure I >> found in review. Turns out compiling with optimization masks it for >> both of us. >> This made me wonder whether our CI tests with and without >> optimization. >> I quick grep finds --enable-debug in .travis.yml, but not in .gitlab*. >> Is this a gap? > > When did you update your local repo the last time? There should be at > least one --enable-debug in the gitlab CI now, see commit > ac6d7074c0751f6.
I figure I had switched to an elderly review branch, and forgot to grep master instead of HEAD, so I missed this change. Sorry for the noise! [...]
