Skip to content

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

Merged
asyncapi-bot merged 3 commits into
masterfrom
bot/update-files-from-global-repo
Jul 11, 2026
Merged

ci: update of files from global .github repo#833
asyncapi-bot 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

welcome:
name: Post welcome message
if: ${{ !contains(fromJson('["asyncapi-bot", "dependabot[bot]", "dependabot-preview[bot]", "allcontributors[bot]"]'), github.actor) }} # zizmor: ignore[obfuscation]
if: ${{ !contains(fromJson('["asyncapi-bot", "dependabot[bot]", "dependabot-preview[bot]", "allcontributors[bot]"]'), github.event.issue.user.login || github.event.pull_request.user.login) }} # zizmor: ignore[obfuscation]
@asyncapi-bot asyncapi-bot merged commit 380a181 into master Jul 11, 2026
12 of 13 checks passed
@asyncapi-bot asyncapi-bot deleted the bot/update-files-from-global-repo branch July 11, 2026 04:07
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