Skip to content

Conversation

@hamzaremmal
Copy link
Member

[test_non_bootstrapped]

fixes #21705 and the main branch

@hamzaremmal
Copy link
Member Author

The tests should be enabled back with a "real" fix

@hamzaremmal hamzaremmal enabled auto-merge October 5, 2024 10:27
@tgodzik
Copy link
Contributor

tgodzik commented Oct 5, 2024

Could we have an issue for that?

@hamzaremmal hamzaremmal closed this Oct 5, 2024
auto-merge was automatically disabled October 5, 2024 12:22

Pull request was closed

@hamzaremmal hamzaremmal deleted the hotfix-main branch October 5, 2024 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Nightly Dotty workflow of 2024-10-05 failed

4 participants