guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#68296] gnu: Add KLEE.


From: Sören Tempel
Subject: [bug#68296] gnu: Add KLEE.
Date: Mon, 11 Mar 2024 10:54:03 +0100

Hi,

What does "QA: Investigate" mean? The build should be fixed now with the
v3 revision. I don't see any build failures on the QA. Is there anything
I need to do on my end in order to have the build restarted?

Greetings
Sören





reply via email to

[Prev in Thread] Current Thread [Next in Thread]