Skip to content

Commit 4c9dcbc

Browse files
committed
run nightly with egglog enabled
1 parent 575a21b commit 4c9dcbc

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

infra/nightly.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@ for bench in "$BENCHDIR"/*; do
2424
rm -rf "$REPORTDIR"/"$name"
2525

2626
racket -y "src/main.rkt" report \
27+
--enable generate:egglog \
2728
--seed "$SEED" \
2829
"$@" \
2930
"$bench" "$REPORTDIR"/"$name"

0 commit comments

Comments
 (0)