Closed glaubitz closed 6 months ago
We try to avoid adding new lines of code that aren't covered by CI. That's why the CI changes are important.
I have proposed a more general solution in https://github.com/briansmith/ring/pull/2042#issuecomment-2120898907.
Fixes #2008