Skip to content

Mark pre-releases as such in GitHub releases#339

Merged
mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/mark-prereleasesOct 18, 2023
+1

Commits

Commits on Oct 18, 2023