Skip to content

fix: update 4 language metadata versions - #228

Merged
ElJijuna merged 4 commits into
mainfrom
chore/update-language-metadata-versions
Jul 29, 2026
Merged

fix: update 4 language metadata versions#228
ElJijuna merged 4 commits into
mainfrom
chore/update-language-metadata-versions

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Updates language metadata versions detected by the automated language version check.

Summary

Language Current version New version Issue related
Astro (astro) 7.1.4 7.1.5 #224
CMake (cmake) 4.4.0 4.4.1 #225
Haml (haml) 7.2.0 7.2.2 #226
Lean (lean) 4.32.1 4.32.2 #227

Closes #224
Closes #225
Closes #226
Closes #227

This pull request was created by the manual language version check workflow.

@ElJijuna ElJijuna left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@ElJijuna
ElJijuna merged commit 69b8881 into main Jul 29, 2026
2 checks passed
@ElJijuna
ElJijuna deleted the chore/update-language-metadata-versions branch July 29, 2026 16:50
@github-actions

Copy link
Copy Markdown
Contributor Author

🎉 This PR is included in version 1.43.7 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix: update Lean metadata to 4.32.2 fix: update Haml metadata to 7.2.2 fix: update CMake metadata to 4.4.1 fix: update Astro metadata to 7.1.5

1 participant