From 2fdb71c3aad7cef7feb544ea44c0421d987e993c Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 10 Jul 2023 11:31:50 +0200
Subject: [PATCH] ci: track a file used in the non-reg tests

---
 test/sierpinski/some_session | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/sierpinski/some_session

diff --git a/test/sierpinski/some_session b/test/sierpinski/some_session
new file mode 100644
index 00000000..96b69b57
--- /dev/null
+++ b/test/sierpinski/some_session
@@ -0,0 +1,7 @@
+n
+n
+n
+n
+wait 3
+print_event !e;;
+
-- 
GitLab