Skip to content
Merge bot PR

Escape tag in githubErrorFormatter #3387

Sign in to view logs

Escape tag in githubErrorFormatter

Escape tag in githubErrorFormatter #3387

Triggered via pull request August 2, 2025 11:53
@VincentLangletVincentLanglet
opened #4198
VincentLanglet:escapeTagGithubErrorFormatter
Status Success
Total duration 22s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
17s
Automerge PRs
Fit to window
Zoom out
Zoom in