Skip to content
Label conflicting PRs

Rename '[Jenkins]' in tab title to '- Jenkins' #10813

Sign in to view logs

Rename '[Jenkins]' in tab title to '- Jenkins'

Rename '[Jenkins]' in tab title to '- Jenkins' #10813

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main
3s
3s