move to bionic

thery · Oct 4, 2021 · 2ad3850 · 2ad3850
1 parent 25ce588
commit 2ad3850
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,4 +1,4 @@
-dist: trusty
+dist: bionic
 sudo: required
 language: c
 cache:
@@ -25,7 +25,7 @@ env:
 
 install:
 - export OPAMROOT=$HOME/.opam
-- opam init -j ${NJOBS} --compiler=${COMPILER}  -n -y
+- opam init -j ${NJOBS} --compiler=${COMPILER}  -n -y 
 - eval $(opam config env)
 - opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev || echo "coq-core-dev registered"
 - opam repo add "${REPO_NAME}" "${REPO_URL}" || echo "${REPO_NAME} registered"