From 7b164ffe8410c954d69b61ecf84f6f791786e1e8 Mon Sep 17 00:00:00 2001 From: Sandworm Date: Sun, 11 Aug 2024 01:38:03 +0000 Subject: [PATCH] Nightly build 2024-08-11 --- index.html | 22 ++++++++++++++++++++++ metadata.json | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 673ea9c..c69d5bc 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-11

+ +

Preview 2024-08-10