Skip to content

cleaner ci job names#456

Merged
jorenham merged 1 commit into
masterfrom
cleaner-ci
Oct 1, 2025
Merged

cleaner ci job names#456
jorenham merged 1 commit into
masterfrom
cleaner-ci

Conversation

@jorenham

@jorenham jorenham commented Oct 1, 2025

Copy link
Copy Markdown
Owner

No description provided.

@jorenham jorenham added this to the v0.14.0 milestone Oct 1, 2025
@jorenham jorenham merged commit 91a765c into master Oct 1, 2025
23 checks passed
@jorenham jorenham deleted the cleaner-ci branch October 1, 2025 04:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant