Commit 2167fce6 authored by Stephane Glondu's avatar Stephane Glondu Committed by Stéphane Glondu
Browse files

Use secure URL for opam-repository

parent 9b4c7dc1
Pipeline #332820 passed with stage
in 42 minutes and 44 seconds
......@@ -27,6 +27,7 @@ build_and_test_with_debian_image:
# Install required packages
- sudo apt-get update -qq && sudo apt-get install -y -qq build-essential libgmp-dev libpcre3-dev pkg-config m4 libssl-dev libsqlite3-dev wget ca-certificates unzip libncurses-dev zlib1g-dev jq npm rsync
# Install the same Opam packages that installs
- git -C /home/opam/opam-repository remote set-url origin
- git -C /home/opam/opam-repository pull origin master
- opam update
- eval `grep "opam install" ./`
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment