Fix benchmark ci job#3

hakkelt wants to merge 3 commits into

upstream-masterhakkelt/ProximalOperators.jl:upstream-masterfrom

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