Skip to content

Conversation

@afuetterer
Copy link
Owner

No description provided.

@afuetterer afuetterer added the type: ci Continuous Integration label Dec 9, 2024
@afuetterer afuetterer merged commit 96d132b into main Dec 9, 2024
13 checks passed
@afuetterer afuetterer deleted the ci branch December 9, 2024 10:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: ci Continuous Integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant