]> git.lizzy.rs Git - rust.git/commit
use Ubuntu keyserver for CloudABI ports
authorAndy Russell <arussell123@gmail.com>
Tue, 12 Feb 2019 04:50:31 +0000 (23:50 -0500)
committerAndy Russell <arussell123@gmail.com>
Tue, 12 Feb 2019 14:39:38 +0000 (09:39 -0500)
commit8b21a55b965aab6e5110fdb1d27c43d9212bd85f
tree7a4602baf2fd934b7c1240dac7637f669bbb2a26
parent0710c2026f257b9560f7f84539bc57183c3a02d3
use Ubuntu keyserver for CloudABI ports

The Ubuntu keyserver is more reliable than the MIT PGP server, which is
prone to going down. This commit also explicitly uses port 80 on the
keyserver for reasons outlined in #57844.
src/ci/docker/dist-various-2/build-cloudabi-toolchain.sh