Use secure URL for opam-repository

3 jobs for master in 42 minutes and 44 seconds (queued for 2 seconds)