IRC channel logs

2022-07-21.log

back to list of logs

<civodul>o/
<civodul> https://hpc.guix.info/blog/2022/07/is-reproducibility-practical/
***civodul` is now known as civodul
<rekado_>civodul: bravo!
*rekado_ published GWL 0.5.0
<rekado_>super sneaky
<civodul>rekado_: bravo as well then!
<civodul>why a sneaky release? it's quite an achievement, isn't it?
<civodul>:-)
<rekado_>I wanted to send out the announcement, which mentions the “updated manual”; but then the ci.guix.gnu.org woes started and I have no way of actually updating the manual
<rekado_>can’t SSH to ci.guix.gnu.org because it refuses any more SSH connections
<rekado_>and serial stopped working
<rekado_>(I got on for a moment to check the logs, then screwed up my serial console with “htop”, disconnected, and then wasn’t able to reconnect again…)
<rekado_>so I guess the announcement email will have to wait a little while longer
<civodul>oh ok
<civodul>i missed the latest woes it seems
<rekado_>ignorance is bliss
<civodul>indeed