This is an automated email from the git hooks/post-receive script.
bernie.ogden pushed a change to branch bernie/benchmarking in repository toolchain/abe.
from b775def Benchmark.sh: Check that LAVA_SERVER is set. adds af9bfc6 Benchmark.sh: Use precooked Juno image
No new revisions were added by this update.
Summary of changes: scripts/Benchmark.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-)