Skip to content

Commit 9f48ffd

Browse files
committed
Remove the crazy timeout, egglog is reasonably fast now
1 parent 42b4ba9 commit 9f48ffd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/unit-test.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ jobs:
6060
6161
# Test egglog mode
6262
- name: "Run Herbie with egglog"
63-
run: racket -y infra/ci.rkt --timeout 600 --enable generate:egglog --seed 0 bench/hamming/trigonometry.fpcore
63+
run: racket -y infra/ci.rkt --enable generate:egglog --seed 0 bench/hamming/trigonometry.fpcore
6464

6565
# Test the egg-herbie Rust code
6666
- run: cd egg-herbie && cargo clippy --tests

0 commit comments

Comments
 (0)