Commit 2024-12-11 21:35 b244eb06

View on Github →

feat: test that an executable with import Mathlib can be built and run (#19755)

Estimated changes

added def main