From dda2132673d55617cfd26409bfe66773a46f887f Mon Sep 17 00:00:00 2001 From: Sandworm Date: Tue, 20 Aug 2024 01:36:31 +0000 Subject: [PATCH] Nightly build 2024-08-20 --- index.html | 22 ++++++++++++++++++++++ metadata.json | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 1facd92..580cc54 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-20

+ +

Preview 2024-08-19