Skip to content
Back to pull request #13133

Round robin polling between tied winners in sort preserving merge #2239

Sign in to view logs

Round robin polling between tied winners in sort preserving merge

Round robin polling between tied winners in sort preserving merge #2239

Triggered via pull request October 30, 2024 14:48
@jayzhan211jayzhan211
synchronize #13133
jayzhan211:rrt-spm-upstream
Status Success
Total duration 2m 47s
Artifacts –

audit.yml

on: pull_request
security_audit
2m 38s
security_audit
Fit to window
Zoom out
Zoom in