Skip to content

Merge-upstream

Merge-upstream #1012

Annotations

1 warning

merge

succeeded Jan 15, 2025 in 18s
Set up job
0s
Checkout
14s
Set git identity
0s
Load upstream commits
0s
Apply commit changes
0s
Push Commits
0s
Post Checkout
0s
Complete job
0s