diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ca360d48344a917435ac26d848ee6dc36f7d67a6..d4f42fc050030dec164c77dac68af1b4d6efe1ad 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -221,6 +221,20 @@ e-acsl-tests-dev: tags: - nix +Ivette: + stage: build + image: node + cache: + paths: + - Ivette/node_modules/ + script: + - node --version + - npm --version + - yarn --version + - make -C Ivette + tags: + - docker + make_public: stage: make_public script: