Skip to content

ci: update of files from global .github repo#225

Merged
derberg merged 8 commits intomasterfrom
bot/update-files-from-global-repo
May 26, 2025
Merged

ci: update of files from global .github repo#225
derberg merged 8 commits intomasterfrom
bot/update-files-from-global-repo

Conversation

@asyncapi-bot
Copy link
Contributor

No description provided.

@derberg derberg merged commit 957594d into master May 26, 2025
8 checks passed
@derberg derberg deleted the bot/update-files-from-global-repo branch May 26, 2025 11:03
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.

3 participants