Skip to content

Conversation

Firestar99
Copy link
Member

@Firestar99 Firestar99 commented Oct 7, 2025

@eddyb there you go! Once this is merged #379 is unblocked

Note: the compiletest should be failing and is fixed by #379

Why is it not failing??? Cause CI uses installed tools of a previous version -> fix

@Firestar99 Firestar99 marked this pull request as draft October 7, 2025 07:54
auto-merge was automatically disabled October 7, 2025 07:54

Pull request was converted to draft

@Firestar99
Copy link
Member Author

Superceded by #379

@Firestar99 Firestar99 closed this Oct 7, 2025
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.

1 participant