From: Thomas Huth <thuth@redhat.com>
To: "Markus Armbruster" <armbru@redhat.com>,
"Philippe Mathieu-Daudé" <philmd@redhat.com>,
"Alex Bennée" <alex.bennee@linaro.org>,
"Wainer dos Santos Moschetta" <wainersm@redhat.com>
Cc: qemu-devel@nongnu.org
Subject: Re: CI with --enable-debug?
Date: Tue, 2 Mar 2021 06:14:41 +0100 [thread overview]
Message-ID: <6eed43d5-9ced-0b39-8528-b272930a706f@redhat.com> (raw)
In-Reply-To: <877dmrge9c.fsf@dusky.pond.sub.org>
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.
If that didn't catch your problem, it's bad luck. With the slow shared
runners, we currently cannot test each and every combination. But if you've
got an idea where to add another switch, feel free to send patches.
Thomas
next prev parent reply other threads:[~2021-03-02 5:16 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-01 14:06 CI with --enable-debug? Markus Armbruster
2021-03-02 5:14 ` Thomas Huth [this message]
2021-03-02 6:44 ` Markus Armbruster
2021-03-02 9:17 ` Alex Bennée
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=6eed43d5-9ced-0b39-8528-b272930a706f@redhat.com \
--to=thuth@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=armbru@redhat.com \
--cc=philmd@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=wainersm@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).