Update historyrun.py

RobertoPrevato · RobertoPrevato · commit dfd418205d2b · 2025-05-12T15:45:11.000+02:00
diff --git a/perf/historyrun.py b/perf/historyrun.py
@@ -8,6 +8,9 @@
 
 # To use tags:
 python perf/historyrun.py --commits v2.0.1 v2.1.0 v2.2.0 v2.3.0
+
+---
+See also the perfhistory.yml GitHub Workflow.
 """
 
 import argparse
