diff --git a/launch.sh b/launch.sh index 32ef8d6caa53b8d2a564b772fad2f192bd251c94_bGF1bmNoLnNo..b18455e246a6c92528d0cb3188b490db067b7896_bGF1bmNoLnNo 100755 --- a/launch.sh +++ b/launch.sh @@ -14,6 +14,6 @@ time taskset -c 2,3 asv run --show-stderr --skip-existing-successful "${1-1.9:: and tagged()}" # Publish results -asv publish +asv publish --no-pull echo "DONE"