Skip to content
Auto Comment on Labeled PR

Merge the main branch into the dev-ru branch #417

Sign in to view logs

Merge the main branch into the dev-ru branch

Merge the main branch into the dev-ru branch #417

Run time

Learn about OS pricing on GitHub Actions
Job Run time
comment
5s
5s