Skip to content

Comments

drop weird ci actions/steps#251

Merged
maxammann merged 1 commit intomainfrom
drop-weird-ci
Nov 20, 2025
Merged

drop weird ci actions/steps#251
maxammann merged 1 commit intomainfrom
drop-weird-ci

Conversation

@maxammann
Copy link
Contributor

No description provided.

@maxammann maxammann merged commit 5f11d5e into main Nov 20, 2025
7 checks passed
@maxammann maxammann deleted the drop-weird-ci branch November 20, 2025 14: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