Skip to content

Run the build on pull requests as well#571

Open
Ruben-VandeVelde wants to merge 1 commit intoleanprover-community:lean4from Ruben-VandeVelde:patch-4
+1

Commits

Commits on Jan 9, 2025