Comments

Author: pavpanchekha

.github/workflows/unit-test.yml

@@ -57,6 +57,8 @@ jobs:
           racket -l herbie report --threads yes --seed 1 bench/hamming/rearrangement.fpcore graphs0
           racket -l herbie report --threads yes --seed 1 bench/hamming/rearrangement.fpcore graphs1
           racket infra/diff.rkt graphs0 graphs1
+
+      # Test egglog mode
       - name: "Run Herbie with egglog"
         run: racket -y infra/ci.rkt --timeout 600 --enable generate:egglog --seed 0 bench/hamming/trigonometry.fpcore