1 files changed, 7 insertions, 0 deletions
diff --git a/dune-workspace b/dune-workspace
new file mode 100644
index 0000000..7d622f0
--- /dev/null
+++ b/dune-workspace
@@ -0,0 +1,7 @@
+(lang dune 3.20)
+
+; SPDX-FileCopyrightText: Copyright 2025 Alexandre Jesus <https://adbjesus.com>
+;
+; SPDX-License-Identifier: CC0-1.0
+
+(profile release)
+\ No newline at end of file