From 79fc38c2946e690544b9df48595cf64428375644 Mon Sep 17 00:00:00 2001 From: Andrea Lattuada Date: Wed, 21 Aug 2024 22:57:43 +0200 Subject: [PATCH] time estimate fix --- site/guide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/guide.md b/site/guide.md index b07d5cd..785e79b 100644 --- a/site/guide.md +++ b/site/guide.md @@ -119,7 +119,7 @@ Log out and log in again to ensure the current user is part of the `docker` grou *This step refers to Set 1 - Claim A.* -*Running this step will take roughly an hour.* +*Running this step will take roughly 1.5 hours.* The automation scripts to produce the statistics in Figure 6, 7 are in `milli`. The scripts make no changes to the system outside of the repository, other than spawning