CI is broken

[odersky]

See #14085. All PRs get cancelled.

[nicolasstucki]

It seems we merged these two PR before the failure

• Bypass eligible caches for implicit search under GADT constraints #14072
• Test for non-open classes warning #14079

[odersky]

It seems the GitHub actions failure that caused this has been addressed.