Skip to content

Comments

build/pkgs/schubertpy: New#1580

Merged
mkoeppe merged 2 commits intomainfrom
schubertpy
Oct 5, 2025
Merged

build/pkgs/schubertpy: New#1580
mkoeppe merged 2 commits intomainfrom
schubertpy

Conversation

@mkoeppe
Copy link
Member

@mkoeppe mkoeppe commented Sep 19, 2025

@mkoeppe mkoeppe marked this pull request as ready for review October 5, 2025 03:02
@mkoeppe mkoeppe merged commit be23b79 into main Oct 5, 2025
20 of 29 checks passed
@mkoeppe mkoeppe deleted the schubertpy branch October 5, 2025 03:19
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