compile time warning

egraphs-good · Oct 29, 2024 · 278af73 · 278af73
1 parent 5cb4735
commit 278af73
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/infra/nightly-resources/index.html b/infra/nightly-resources/index.html
@@ -67,6 +67,7 @@ <h2>Nightlies</h2>
   </div>
 
   <h2>Overall Stats</h2>
+  <t>Warning: compile-time statistics are not very trustworthy in parallel mode.</t>
   <div id="overall-stats-table"></div>
 
   <h2>Detailed Table</h2>