Skip to content

Conversation

@WojciechMazur
Copy link
Contributor

@WojciechMazur WojciechMazur commented May 5, 2025

[test_non_bootstrapped]

@WojciechMazur WojciechMazur mentioned this pull request May 5, 2025
23 tasks
@WojciechMazur WojciechMazur enabled auto-merge May 5, 2025 14:42
@WojciechMazur WojciechMazur merged commit 5ac8a32 into scala:main May 5, 2025
27 checks passed
@WojciechMazur WojciechMazur deleted the developement/3.7.2 branch May 5, 2025 16:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants