Do explicit mirror resolve with curl

host suddenly doesn't understands hostname with https://. I'm not sure
it did before, it could be DNS server doing some magic.
5 jobs for curl in 27 minutes and 28 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Lint
passed shellcheck #13041

00:00:12

passed shfmt #13042

00:00:12

 
  Build
passed build #13043
fast-single-thread

00:18:37

 
  Test
passed test-cloudimg-qemu #13045

00:08:37

passed test-vagrant-boxes-format #13044

00:00:35