From e2491cd4fa3aae1c963a3e31913f94f1f760e271 Mon Sep 17 00:00:00 2001 From: Sandworm Date: Tue, 6 Aug 2024 01:40:06 +0000 Subject: [PATCH] Nightly build 2024-08-06 --- index.html | 22 ++++++++++++++++++++++ metadata.json | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index e1d020a..61a06e1 100644 --- a/index.html +++ b/index.html @@ -21,6 +21,28 @@ you want, as long as it is accessible from the PATH.

Check if the dune executable is accessible by running

$ dune --help
+

Preview 2024-08-06

+ +

Preview 2024-08-05