IRC channel logs


back to list of logs

<rekado>efraim: rust 1.67.1 finished building on aarch64
<rekado>does that mean we can merge rust-team into master?
<phsw>Hello, are you aware that (and its subdomains -- such as ci.guix) is down? The DNS server seems to answer no IP address
<rekado>just fixed it
<rekado>the GNU DNS server has a new IP and we weren’t notified
<rekado>bleh, the staging merge ruined my merge of rust-team into master :-/
<rekado>now rebasing…