Skip to content
Snippets Groups Projects
Commit 2023bc3f authored by François Bobot's avatar François Bobot
Browse files

[CI] Update it

parent 1c211e09
No related branches found
No related tags found
No related merge requests found
Pipeline #31802 failed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 8 additions and 5 deletions
.gitlab-ci.yml
+ 8
− 5
View file @ 2023bc3f
Tests: tests:
stage: build
image: ocaml/opam:ubuntu-20.04-ocaml-4.11
script: script:
- eval `opam config env` - eval `opam config env`
- opam pin --no-action .
- opam depext colibri2
- opam install --deps-only .
- opam depext --install why3
- make - make
- make tests - make tests
- make api
- make popop_top.top
tags: tags:
except: - docker
- tags
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