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

ci: add salut non-reg tests

parent dd464e3a
No related branches found
No related tags found
No related merge requests found
Pipeline #108242 failed
Stage: build
    Stage: release
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 2 additions and 1 deletion
        .gitlab-ci.yml
        + 2
        − 1
        View file @ 39ca1cbe
        ...@@ -12,12 +12,13 @@ build: ...@@ -12,12 +12,13 @@ build:
        - eval `opam config env` - eval `opam config env`
        - sudo apt-get update - sudo apt-get update
        - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 || echo "not needed for recent opam version" - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 || echo "not needed for recent opam version"
        - opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam - opam install --deps-only ./sasa.opam ./salut.opam ./rdbgui4sasa.opam
        - make - make
        - make install - make install
        - make test - make test
        - cd tools/simca - cd tools/simca
        - make && make cmxs && make log -j 15 && make pdf - make && make cmxs && make log -j 15 && make pdf
        - cd ../../salut && make test
        artifacts: artifacts:
        paths: paths:
        - tools/simca - tools/simca
        ......
        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