Skip to content
Lint new PR

fix: duplicate merges in a single batch should be dropped #10931

Sign in to view logs

fix: duplicate merges in a single batch should be dropped

fix: duplicate merges in a single batch should be dropped #10931

Triggered via pull request August 7, 2024 15:33
@oliverb123oliverb123
opened #24242
oliver_fix_duplicate_merges
Status Success
Total duration 10s
Artifacts –

lint-new-pr.yml

on: pull_request
Check that PR has description
0s
Check that PR has description
Fit to window
Zoom out
Zoom in