diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 41c845f4414bccfedb4df5fa9e952aaae51b5bbd..0e238b60efee94b95f814c55a0a3b85000259384 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,3 +11,4 @@ build-pdf: script: - opam install ott + - make