Merge branch 'fix/julien/ci-resources' into 'master'

Limit resource consumption of Continuous Integration

See merge request laiser/caisar!79

.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

Makefile

 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=.