From 6fec4998870937a0305ae7d575ca1bfaafb57f24 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 18 Jan 2023 23:17:02 +0100
Subject: [PATCH] ci: add missing untracked files

---
 salut/test/bfs-spanning-tree/dune | 1 +
 salut/test/dijkstra-ring/dune     | 1 +
 salut/test/kclustering/dune       | 1 +
 salut/test/rsp_tree/dune          | 1 +
 salut/test/unison/dune            | 1 +
 5 files changed, 5 insertions(+)
 create mode 120000 salut/test/bfs-spanning-tree/dune
 create mode 120000 salut/test/dijkstra-ring/dune
 create mode 120000 salut/test/kclustering/dune
 create mode 120000 salut/test/rsp_tree/dune
 create mode 120000 salut/test/unison/dune

diff --git a/salut/test/bfs-spanning-tree/dune b/salut/test/bfs-spanning-tree/dune
new file mode 120000
index 00000000..a1ef974a
--- /dev/null
+++ b/salut/test/bfs-spanning-tree/dune
@@ -0,0 +1 @@
+../../../test/dune2copy
\ No newline at end of file
diff --git a/salut/test/dijkstra-ring/dune b/salut/test/dijkstra-ring/dune
new file mode 120000
index 00000000..a1ef974a
--- /dev/null
+++ b/salut/test/dijkstra-ring/dune
@@ -0,0 +1 @@
+../../../test/dune2copy
\ No newline at end of file
diff --git a/salut/test/kclustering/dune b/salut/test/kclustering/dune
new file mode 120000
index 00000000..a1ef974a
--- /dev/null
+++ b/salut/test/kclustering/dune
@@ -0,0 +1 @@
+../../../test/dune2copy
\ No newline at end of file
diff --git a/salut/test/rsp_tree/dune b/salut/test/rsp_tree/dune
new file mode 120000
index 00000000..a1ef974a
--- /dev/null
+++ b/salut/test/rsp_tree/dune
@@ -0,0 +1 @@
+../../../test/dune2copy
\ No newline at end of file
diff --git a/salut/test/unison/dune b/salut/test/unison/dune
new file mode 120000
index 00000000..a1ef974a
--- /dev/null
+++ b/salut/test/unison/dune
@@ -0,0 +1 @@
+../../../test/dune2copy
\ No newline at end of file
-- 
GitLab