From 6f8d2eeff10b6e9a69381945b0ca97700974d4b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Mon, 4 Mar 2024 20:05:38 +0100
Subject: [PATCH] fix
---
.gitlab-ci.yml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2210af2f..7d87ef69 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -99,6 +99,8 @@ tests:
cd -
nix shell -c dune build --display=short --root=.
done
+ - |
+ cd ..
echo "(lang dune 3.8)" >| rr_frontend/dune-project
echo "(using coq 0.8)" >> rr_frontend/dune-project
nix shell -c dune build --display=short --root=rr_frontend
--
GitLab