Update README with nightly instructions

egraphs-good · May 24, 2024 · 491b811 · 491b811
1 parent 50faeb1
commit 491b811
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -28,3 +28,10 @@
 ## How to add a test
 - Add a bril file under `tests/`.
 - Run `cargo insta review` to confirm the output for the new file.
+
+
+## How to run local nightly
+- Make sure you have the command `hyperfine` (install if not).
+- Run `bash infra/localnightly.sh <bril file or directory>`
+
+To run the nightly server for an existing nightly, run `cd nightly/output && python3 -m http.server`.