From dc38ff419c2994d0377238840d93c6716db26829 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Tue, 13 Dec 2022 09:46:26 +0000
Subject: [PATCH] Add a rudimentary CI

---
 .gitlab-ci.yml | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 00000000..228cf1c6
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,35 @@
+stages:
+  - build_and_test
+
+#########
+# BUILD #
+#########
+
+build_and_test:
+  services:
+     - image:sandbox
+     - cpu:8
+     - mem:16
+  stage: build_and_test
+  script:
+    - . ~/.aws_container_credentials
+    - export PATH=/it/e3/bin:$PATH
+
+    # Tell the anod sandbox to use our repository
+    - cd /it/wave
+    - anod vcs --add-repo libadalang-tools $CI_PROJECT_DIR
+
+    # Build and test
+    - anod build libadalang-tools
+    - anod test libadalang-tools
+    - e3-testsuite-report
+        --failure-exit-code 1
+        --xunit-output $CI_PROJECT_DIR/xunit_output.xml
+        x86_64-linux/laltools-test/results/new/
+
+  artifacts:
+    when: always
+    paths:
+      - xunit_output.xml
+    reports:
+      junit: xunit_output.xml