Update InferOpt requirement to 0.7.2 in /test#157

dependabot[bot] wants to merge 1 commit into

mainJuliaDecisionFocusedLearning/InferOpt.jl:mainfrom

dependabot/julia/test/InferOpt-0.7.2JuliaDecisionFocusedLearning/InferOpt.jl:dependabot/julia/test/InferOpt-0.7.2Copy head branch name to clipboard