From 1f7fed32313df5cef4c13599c5b7c3b32209c3e6 Mon Sep 17 00:00:00 2001 From: rina Date: Tue, 26 Mar 2024 10:46:44 +1000 Subject: [PATCH] stashing: dune action --- scripts/dune | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 scripts/dune diff --git a/scripts/dune b/scripts/dune new file mode 100644 index 00000000..5b35939e --- /dev/null +++ b/scripts/dune @@ -0,0 +1,3 @@ +(rule + (alias lint) + (action (bash "echo $(realpath %{workspace_root})")))