diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bd7e7c662001493ab8ee2a4e84bb8a10cc2a43e0..968c2051d87e5e59f36bb49ed017a91d6b5f3d96 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,9 +18,9 @@ tests: - sudo apt install -y protobuf-compiler - opam repository add remote https://opam.ocaml.org - opam depext --yes ocplib-endian base fmt alt-ergo.2.4.0 - - opam install . --deps-only --with-test --yes - - make - - make test + - opam install --jobs 2 . --deps-only --with-test --yes + - make all-ci + - make test-ci tags: - docker when: always diff --git a/Makefile b/Makefile index 00780e6c4c5487c64aaca6b2fe19645cde1047b6..0f3dfa0a17778aec5f0e3684983f884560163e5a 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,9 @@ all: dune build --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam +all-ci: + dune build -j2 --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam + install: dune install @@ -10,6 +13,9 @@ uninstall: test: dune runtest --root=. +test-ci: + dune runtest -j2 --root=. + promote: dune promote --root=.