Skip to content

Conversation

@afuetterer
Copy link
Owner

No description provided.

@afuetterer afuetterer added the type: ci Continuous Integration label Dec 10, 2024
@afuetterer afuetterer merged commit 479e4b5 into main Dec 10, 2024
13 checks passed
@afuetterer afuetterer deleted the ci branch December 10, 2024 21:14
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