update RegularizedProblems dep

Author: MaxenceGollier

.github/workflows/jsobmarks.yml

@@ -33,8 +33,7 @@ jobs:
           using Pkg
           pkg1 = PackageSpec(url = "https://github.com/MaxenceGollier/JSOBenchmarks.jl.git", rev = "solver_benchmarks")
           pkg2 = PackageSpec(url = "https://github.com/MaxenceGollier/SolverBenchmark.jl.git", rev = "switch-getters")
-          pkg3 = PackageSpec(url = "https://github.com/JuliaSmoothOptimizers/RegularizedProblems.jl.git", rev = "MaxenceGollier-patch-1")
-          pkg_list = [pkg1, pkg2, pkg3]
+          pkg_list = [pkg1, pkg2]
           Pkg.add(pkg_list)
         shell: julia --project=benchmark --color=yes {0}
       - name: Install benchmark dependencies

benchmark/Project.toml

@@ -10,5 +10,5 @@ SolverBenchmark = "581a75fa-a23a-52d0-a590-d6201de2218a"
 BenchmarkTools = "1"
 PkgBenchmark = "0.2"
 RegularizedOptimization = "0.2"
-RegularizedProblems = "0.1"
+RegularizedProblems = "0.1.4"
 julia = "1"