File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -45,7 +45,7 @@ minimal-distribution:
4545 [ ! -f herbie.app ] || (raco distribute herbie-compiled herbie.app && rm herbie.app)
4646 [ ! -f herbie ] || (raco distribute herbie-compiled herbie && rm herbie)
4747
48- nightly : rustup install
48+ nightly :
4949 bash infra/nightly.sh bench/ reports/ --threads 4
5050
5151upgrade :
@@ -70,6 +70,3 @@ random-file:
7070 -o -path ' infra/survey/*' -prune \
7171 -o -type f -print | \
7272 sort -R | head -n1
73-
74- rustup :
75- rustup update
Original file line number Diff line number Diff line change @@ -5,6 +5,9 @@ set -e -x
55
66# Ensure egglog is in the path
77export PATH=" $PATH :$HOME /.cargo/bin/"
8+ rustup update
9+
10+ make install
811
912# Seed is fixed for the whole day; this way two branches run the same seed
1013SEED=$( date " +%Y%j" )
You can’t perform that action at this time.
0 commit comments