diff --git a/.github/workflows/Downgrade.yml.disabled b/.github/workflows/Downgrade.yml
similarity index 100%
rename from .github/workflows/Downgrade.yml.disabled
rename to .github/workflows/Downgrade.yml
diff --git a/Project.toml b/Project.toml
index 2996d67f..66eaae7d 100644
--- a/Project.toml
+++ b/Project.toml
@@ -99,4 +99,3 @@ Unitful = "1986cc42-f94f-5a68-af5c-568840ba703d"
 
 [targets]
 test = ["ADTypes", "Arblib", "StaticArrays", "SafeTestsets", "SciMLTesting", "Test", "Distributions", "ChainRulesCore", "FastGaussQuadrature", "FastTanhSinhQuadrature", "Cuba", "Cubature", "MCIntegration", "DifferentiationInterface", "HAdaptiveIntegration", "Unitful"]
-
diff --git a/docs/src/basics/solve.md b/docs/src/basics/solve.md
index da7e5a6c..b4ada0a5 100644
--- a/docs/src/basics/solve.md
+++ b/docs/src/basics/solve.md
@@ -4,8 +4,8 @@
 implements it for integral problems and the algorithms documented on this site.
 
 ```@docs
-solve(prob::IntegralProblem, alg::SciMLBase.AbstractIntegralAlgorithm)
-solve(prob::SampledIntegralProblem, alg::SciMLBase.AbstractIntegralAlgorithm)
+solve(::IntegralProblem, ::SciMLBase.AbstractIntegralAlgorithm)
+solve(::SampledIntegralProblem, ::SciMLBase.AbstractIntegralAlgorithm)
 ```
 
 ## Related SciML interface utilities
@@ -14,9 +14,9 @@ solve(prob::SampledIntegralProblem, alg::SciMLBase.AbstractIntegralAlgorithm)
 utilities reexported by Integrals.jl. Their API is documented by SciMLBase.
 
 ```@docs
-CommonSolve.init(prob::IntegralProblem, alg::SciMLBase.AbstractIntegralAlgorithm)
-CommonSolve.init(prob::SampledIntegralProblem, alg::SciMLBase.AbstractIntegralAlgorithm)
-solve!(cache::Integrals.IntegralCache)
-solve!(cache::Integrals.SampledIntegralCache)
-isinplace(cache::Integrals.IntegralCache)
+CommonSolve.init(::IntegralProblem, ::SciMLBase.AbstractIntegralAlgorithm)
+CommonSolve.init(::SampledIntegralProblem, ::SciMLBase.AbstractIntegralAlgorithm)
+solve!(::Integrals.IntegralCache)
+solve!(::Integrals.SampledIntegralCache)
+isinplace(::Integrals.IntegralCache)
 ```