From f8b900c0ca891c2507247c89729df1a60e572fe0 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 5 Apr 2023 15:07:24 +0200
Subject: [PATCH] [ci] Set resource limitations for CI.
---
.gitlab-ci.yml | 6 +++---
Makefile | 6 ++++++
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bd7e7c6..968c205 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 00780e6..0f3dfa0 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=.
--
GitLab