Hello, It looks like ci.guix.gnu.org does not have AAAA records.
I suggest they get added because IPv6-only networking is the future. $ dig ci.guix.gnu.org AAAA ; <<>> DiG 9.11.8-RedHat-9.11.8-1.fc30 <<>> ci.guix.gnu.org AAAA ;; global options: +cmd ;; Got answer: ;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 4389 ;; flags: qr rd ra; QUERY: 1, ANSWER: 0, AUTHORITY: 1, ADDITIONAL: 1 ;; OPT PSEUDOSECTION: ; EDNS: version: 0, flags:; udp: 4096 ;; QUESTION SECTION: ;ci.guix.gnu.org. IN AAAA ;; AUTHORITY SECTION: guix.gnu.org. 3595 IN SOA ns.guix.gnu.org. hostmaster.guix.gnu.org. 2019080102 172800 900 1209600 3600 I checked all other domain names in <https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh> and they all have AAAA records. Now if anything is downloaded by GNU Guix during operation, domain names should also have AAAA records but I think ci.guix.gnu.org mirrors everything? Thanks
signature.asc
Description: OpenPGP digital signature
