Fix benchmarking on travis (thanks to @tkf)

.travis.yml

@@ -16,13 +16,17 @@ jobs:
       os: linux
       before_script:
         - git fetch origin '+refs/heads/master:refs/remotes/origin/master'
-        - git branch master origin/master
+        - git branch baseline origin/master
         # Run benchmark outside `script` so that it's hidden by default:
-        - julia --project=benchmark benchmark/runjudge.jl'
+        - julia --project=benchmark -e '
+              using Pkg; Pkg.instantiate();
+              include("benchmark/runjudge.jl");'
+
       script:
-        - julia --project=benchmark benchmark/pprintjudge.jl'
+        - julia --project=benchmark -e '
+              using Pkg; Pkg.instantiate();
+              include("benchmark/pprintjudge.jl");'
       after_success: skip
-      if: NOT (branch = master)
     - stage: Documentation
       julia: 1.0
       script: julia --project=docs -e '

benchmark/runjudge.jl

@@ -18,7 +18,7 @@ group_target = benchmarkpkg(
 
 group_baseline = benchmarkpkg(
     dirname(@__DIR__),
-    mkconfig(id = "master"),
+    mkconfig(id = "baseline"),
     resultfile = joinpath(@__DIR__, "result-baseline.json"),
 )