Would it be possible to add the compat for BenchmarkTools.jl v1 and tag a new version of MOI?
Would it be possible to add the compat for BenchmarkTools.jl v1 and tag a new version of MOI?