On Tue, Nov 16, 2021 at 09:30:43PM +0100, Mattia Rizzolo wrote: > (I'll try to keep a mental note to improve this handling, though this > kind of error is empirically so rare that I'll likely forget)
besides improving and fixing the core of the issues, would it help to
setup a regular (hourly?) monitoring job on jenkins?
--
cheers,
Holger
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org
⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
⠈⠳⣄
Life is short but a sea of morons is forever.
signature.asc
Description: PGP signature

