Skip to content

v0.11.102.0-r4: allow newer tasty-quickcheck; bump CI#17

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

Commits

Commits on Jun 26, 2024