Skip to content
Snippets Groups Projects
Commit 65ffa7f0 authored by erwan's avatar erwan
Browse files

ci: use the main verimag repo

parent d3ae1563
No related branches found
No related tags found
No related merge requests found
Pipeline #72193 passed
Stage: build
Stage: release
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 65ffa7f0
...@@ -8,7 +8,7 @@ stages: ...@@ -8,7 +8,7 @@ stages:
build: build:
stage: build stage: build
script: script:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- eval `opam config env` - eval `opam config env`
- sudo apt-get update - sudo apt-get update
- sudo opam depext -y lustre-v6 lutin lablgtk3 - sudo opam depext -y lustre-v6 lutin lablgtk3
......
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