From 3d8f1f043a415195269cef38ced4c511b505ec55 Mon Sep 17 00:00:00 2001
From: lecopivo <skrivantomas@seznam.cz>
Date: Fri, 1 Sep 2023 12:09:17 -0400
Subject: [PATCH] empty test just to test how long it takes to import SciLean

---
 test/empty.lean | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 test/empty.lean

diff --git a/test/empty.lean b/test/empty.lean
new file mode 100644
index 00000000..e9870af2
--- /dev/null
+++ b/test/empty.lean
@@ -0,0 +1,3 @@
+import SciLean 
+
+