Answer yes to stdpp installation

acf8d879 · Jakob Botsch Nielsen · f070d9cd · acf8d879
Commit acf8d879 authored Oct 30, 2019 by Jakob Botsch Nielsen
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,7 +13,7 @@ stages:
    - opam config list
    - opam repo list
    - opam list
-    - opam install coq-stdpp
+    - opam install -y coq-stdpp
  script:
    - sudo chown -R coq:coq "$CI_PROJECT_DIR"
    - make -j