Skip to content

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

Merged
derberg merged 3 commits into
masterfrom
bot/update-files-from-global-repo
Nov 18, 2025
Merged

ci: update of files from global .github repo#219
derberg merged 3 commits into
masterfrom
bot/update-files-from-global-repo

Conversation

@asyncapi-bot

Copy link
Copy Markdown
Contributor

No description provided.

@sonarqubecloud

Copy link
Copy Markdown

@derberg
derberg merged commit f83c4ad into master Nov 18, 2025
15 checks passed
@derberg
derberg deleted the bot/update-files-from-global-repo branch November 18, 2025 07:56
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