Skip to content

Relax time upper bound to <2#74

Merged
andreasabel merged 3 commits intomasterfrom
ghc-9.14
Jan 7, 2026
Merged

Relax time upper bound to <2#74
andreasabel merged 3 commits intomasterfrom
ghc-9.14

Commits

Commits on Jan 7, 2026