Your message dated Wed, 14 Feb 2024 10:13:32 +0100 with message-id and subject line Close has caused the debbugs.gnu.org bug report #65391, regarding People need to report failing builds even though we have ci.guix.gnu.org for that to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 65391: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65391 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems