We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4c9dcbc commit 8343399Copy full SHA for 8343399
infra/nightly.sh
@@ -24,7 +24,6 @@ for bench in "$BENCHDIR"/*; do
24
rm -rf "$REPORTDIR"/"$name"
25
26
racket -y "src/main.rkt" report \
27
- --enable generate:egglog \
28
--seed "$SEED" \
29
"$@" \
30
"$bench" "$REPORTDIR"/"$name"
0 commit comments