Skip to content

Updated CI versions#10

Merged
JulStraus merged 1 commit intomainfrom
CI/update
Apr 16, 2026
Merged

Updated CI versions#10
JulStraus merged 1 commit intomainfrom
CI/update

Conversation

@JulStraus
Copy link
Copy Markdown
Member

No description provided.

@JulStraus JulStraus merged commit ec3a0b7 into main Apr 16, 2026
5 checks passed
@JulStraus JulStraus deleted the CI/update branch April 16, 2026 14:28
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