Skip to content
Lint PR

fix: rendering of merge emoji when upstream was modified #5865

Sign in to view logs

fix: rendering of merge emoji when upstream was modified

fix: rendering of merge emoji when upstream was modified #5865

Triggered via pull request November 9, 2024 08:25
@tfheentfheen
synchronize #5064
Status Success
Total duration 17s
Artifacts –

pr-lint.yml

on: pull_request_target
Validate PR title
8s
Validate PR title
Fit to window
Zoom out
Zoom in