Skip to content

Add missing upper bounds on ortac packages#265

Merged
n-osborne merged 1 commit intoocaml-gospel:mainfrom n-osborne:fix-version-with-testOct 9, 2024

Commits

Commits on Oct 9, 2024