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

ci: add the opam install of rdbgui4sasa in the test

parent 4746142e
No related branches found
No related tags found
No related merge requests found
Pipeline #180684 passed with warnings
Stage: build
    Stage: release
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 2 additions and 2 deletions
        .gitlab-ci.yml
        + 2
        − 2
        View file @ a0bf41e9
        ...@@ -40,8 +40,8 @@ test_opam_test: ...@@ -40,8 +40,8 @@ test_opam_test:
        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/test/opam-repository"
        - eval `opam config env` - eval `opam config env`
        - sudo opam depext -y sasa lutin || echo "not needed for recent opam version" - sudo opam depext -y sasa lutin rdbgui4sasa || echo "not needed for recent opam version"
        - opam install -y sasa lutin - opam install -y sasa lutin rdbgui4sasa
        allow_failure: true allow_failure: true
        only: only:
        - master - master
        ......
        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