Skip to content

Conversation

@tydeu
Copy link
Member

@tydeu tydeu commented Sep 27, 2025

This PR ensures that Lake only receives recognized CMake build types from CMake. This fixes an issue with #10581 which broke the RelWithAssert build.

@tydeu tydeu added the changelog-no Do not include this PR in the release changelog label Sep 27, 2025
@tydeu tydeu enabled auto-merge September 27, 2025 17:45
@tydeu tydeu added this pull request to the merge queue Sep 27, 2025
Merged via the queue into leanprover:master with commit fbfc769 Sep 27, 2025
19 checks passed
@tydeu tydeu deleted the validate-build-type branch September 28, 2025 02:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-no Do not include this PR in the release changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant