From 6a72c941962bfca76c4e0a6054447a62b4576f47 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sun, 22 Sep 2024 10:55:36 -0700 Subject: [PATCH] Hints about running the full pipeline (#374) --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 01415643a4..8ee322cdb0 100644 --- a/README.md +++ b/README.md @@ -119,7 +119,10 @@ If you make a change to the mergers that changes merge results, you need to update the goal files or else reproducibility checks will fail. Copy certain files from `results/small/` to `test/small-goal-files/`. -To update the reproducibility tests, run `make run-all`. +To update the reproducibility tests, run `make run-all` +(this takes a long time!) and commit the results. +This will run merges in parallel. If the load on your machine becomes very low +(like no parallelism is happening), then terminate the process and restart it. ### Load the stored cache