CI: OrdinaryDiffEqDifferentiation 3.9.0 is unregistered, breaking six resolution jobs

[singhharsh1708]

Six CI jobs on master fail at dependency resolution because
OrdinaryDiffEqDifferentiation 3.9.0 is not in the General registry.

ERROR: LoadError: Unsatisfiable requirements detected for package OrdinaryDiffEqDifferentiation:
 ├─possible versions are: 1.0.0 - 3.7.0 or uninstalled
 └─restricted to versions 3.9.0 - 3 by OrdinaryDiffEqNonlinearSolve — no versions left

lib/OrdinaryDiffEqDifferentiation/Project.toml went to version = "3.9.0" in #4192 (Aug 9)
and lib/OrdinaryDiffEqNonlinearSolve/Project.toml raised its compat to
OrdinaryDiffEqDifferentiation = "3.9" in #4268 (Aug 15). The last registered version is 3.7.0
(General, Aug 5), and there is no open registration PR, so 3.8 and 3.9 never went out. Any job
that resolves against the registry rather than the monorepo paths now has nothing to pick.

Jobs failing this way on the Aug 17 master runs:

• Sublibrary CI: lib/OrdinaryDiffEqNonlinearSolve Core, [QA], [ModelingToolkit]
• Downgrade Sublibraries: lib/OrdinaryDiffEqNonlinearSolve, lib/StochasticDiffEqLeaping,
  lib/StochasticDiffEqWeak

The four packages that depend on OrdinaryDiffEqDifferentiation and carry no [sources]
section are OrdinaryDiffEqNonlinearSolve, OrdinaryDiffEqExtrapolation,
OrdinaryDiffEqIMEXMultistep and OrdinaryDiffEqPDIRK, which is why those are the ones that
hit it.

Registering 3.9.0 should clear all six. Is registration just lagging, or did something stop it?