diff --git a/.travis.yml b/.travis.yml index 50ddaca1f..3e0b1a22c 100644 --- a/.travis.yml +++ b/.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 ' diff --git a/benchmark/runjudge.jl b/benchmark/runjudge.jl index 216a95565..c0b560322 100644 --- a/benchmark/runjudge.jl +++ b/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"), )