Update auto-merge bot

[github-actions[bot]]

Package name	latest	stable
CaNNOLeS.jl
DCISolver.jl
DerivativeFreeSolvers.jl
JSOSolvers.jl
NLPModelsIpopt.jl
OptimizationProblems.jl
Percival.jl
QuadraticModels.jl
SolverBenchmark.jl
SolverTools.jl

[codecov[bot]]

Codecov Report

Base: 99.45% // Head: 99.45% // No change to project coverage :thumbsup:

Coverage data is based on head (f939034) compared to base (01742c5). Patch has no changes to coverable lines.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #91 +/- ## ======================================= Coverage 99.45% 99.45% ======================================= Files 8 8 Lines 740 740 ======================================= Hits 736 736 Misses 4 4 ``` Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=JuliaSmoothOptimizers)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.

[tmigot]

Oo... Was it expected that the probot strike again?

[amontoison]

Yes, the PR was not merged. Can you open a new (dummy) PR to verify that probot works as intended now?