Skip to content

Commit

Permalink
fix #175
Browse files Browse the repository at this point in the history
  • Loading branch information
hexaeder committed Nov 29, 2024
1 parent 93e6b1d commit 80986a1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions benchmark/run_benchmarks.jl
Original file line number Diff line number Diff line change
Expand Up @@ -116,8 +116,8 @@ if bench_target || bench_baseline
@info "Dirty directory, add everything to new commit!"
@assert realpath(pwd()) == realpath(ndpath_tmp) "Julia is in $(pwd()) not it $ndpath_tmp"
run(`git status`)
run(`git config --global user.email "[email protected]"`)
run(`git config --global user.name "Benchmark Bot"`)
run(`git config --local user.email "[email protected]"`)
run(`git config --local user.name "Benchmark Bot"`)
run(`git checkout -b $(randstring(15))`)
run(`git add -A`)
run(`git commit -m "tmp commit for benchmarking"`)
Expand Down

0 comments on commit 80986a1

Please sign in to comment.