Skip to content

Conversation

@adinapoli
Copy link
Contributor

While working on #84, I recalled this one, and it looks like a hopefully non controversial fix.

It is about time (and it's more conservative than GHC2024).
It removes two orphan instances which were long-present inside api-tools
@adinapoli adinapoli requested a review from adamgundry November 4, 2025 09:10
@adamgundry
Copy link
Contributor

Related to #69. This does seem sensible, but it looks like CI needs some attention (as there don't seem to be any runners picking up the jobs, and we should test with a more up to date version set). We should also check the downstream project testsuite with this, because it would not surprise me if some tests start failing under the more rigorous testing regime (cf. #70).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants