Skip to content
Label conflicting PRs

Merge branch 'master' into new-header #3888

Sign in to view logs

Merge branch 'master' into new-header

Merge branch 'master' into new-header #3888

Triggered via push February 11, 2025 21:08
@janfaracikjanfaracik
pushed ddc968a
new-header
Status Success
Total duration 13s
Artifacts –

label-conflicting-pr.yml

on: push
main
4s
main
Fit to window
Zoom out
Zoom in