Skip to content
This repository was archived by the owner on Jul 22, 2025. It is now read-only.

fix failing CI#1592

Merged
juliangruber merged 2 commits intomainfrom
fix/ci
Jun 5, 2024
Merged

fix failing CI#1592
juliangruber merged 2 commits intomainfrom
fix/ci

Conversation

@juliangruber
Copy link
Member

No description provided.

@juliangruber juliangruber merged commit aa7b699 into main Jun 5, 2024
@juliangruber juliangruber deleted the fix/ci branch June 5, 2024 11:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant