Fix benchmarking CI job#154

hakkelt wants to merge 2 commits intoJuliaFirstOrder:masterJuliaFirstOrder/ProximalOperators.jl:masterfrom

hakkelt:fix-benchmark-ci-jobhakkelt/ProximalOperators.jl:fix-benchmark-ci-jobCopy head branch name to clipboard