Skip to content

v0.11.101.0-r5: allow newer tasty-quickcheck; bump CI#23

Merged
andreasabel merged 1 commit intomasterfrom tasty-quickcheckJun 26, 2024

Commits

Commits on Jun 26, 2024