Weird unsatisfiable requirements error with v2

[JoshuaLampert]

Thanks for the recent update to v2 using Resolver.jl! I really hope that with this update the downgrade action becomes easier to use and debug.
I tried the new version in NumericalMathematics/DispersiveShallowWater.jl#227 (including the allow_reresolve: false), but encountered the error ERROR: LoadError: Unsatisfiable requirements detected for package SciMLOperators [c0aeaf25]:, see https://github.com/NumericalMathematics/DispersiveShallowWater.jl/actions/runs/16550193915/job/46803910326?pr=227#step:8:52. Neither my package nor my tests explicitly depend on SciMLOperators.jl, but the error says SciMLOperators is restricted to v0.3.14 by an explicit requirement. So I have no clue how to fix this. Note that before switching to v2 of this action, the downgrade job was successful. So I would expect it should use the same minimal versions as before and should also be successful. Is there any way for me to fix that or is that a bug either upstream, in Resolver.jl, or this action?
Oh, after writing this I saw that the version Resolver.jl chooses, is yanked: https://github.com/JuliaRegistries/General/blob/1cb12c7cf0c4ce32b24daa8373c18541d787bae2/S/SciMLOperators/Versions.toml#L153. So maybe Resolver.jl has problems with yanked versions?

[JoshuaLampert]

cc @ChrisRackauckas @StefanKarpinski

[ChrisRackauckas]

Seems like it's a resolver.jl bug with yanked versions that should get an issue there.

[JoshuaLampert]

Closing in favor of StefanKarpinski/Resolver.jl#15.