Skip to content

Conversation

@marcprux
Copy link

No description provided.

@marcprux marcprux changed the title Update patches Update CI Matrix Jul 17, 2025
@marcprux marcprux changed the title Update CI Matrix Remove unnecessary source checkouts Jul 18, 2025
@marcprux marcprux merged commit bc3f105 into main Jul 18, 2025
1 of 5 checks passed
@marcprux marcprux deleted the update-patches2 branch July 18, 2025 03:01
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