2
78%
master: 79%

Ran 02 Jan 2024 02:11PM UTC

Files 257

Run time 9s

Badge

Embed ▾

Committed 02 Jan 2024 02:09PM UTC coverage: 63.479%. Remained the same

Job # 7386718660.2

Build Type

push

github

Committed by

jrfnl

Commit Message

GH Actions/merge conflict check: don't cancel on higher prio

When this workflow is triggered on the `pull_request_target` event, the branch will identify as `master` (`github.ref`), which means that any push to `master` AND any other PR being opened will cancel the workflow.

That is not the intention, jobs for PRs triggering this workflow should always run to completion.

However, as the `push` event and the `pull_request_target` events don't really have much overlap in available info, it is not straight forward to set a group name which will prevent the above from happening.

With that in mind, I'm removing the concurrency cancellation from this workflow.

Run Details

14936 of 23529 relevant lines covered (63.48%)

1.92 hits per line

PHPCSStandards / PHP_CodeSniffer / 7386718660 / 2
78%
master: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job php-8.0-custom-ini-true - 7386718660.2

PHPCSStandards / PHP_CodeSniffer / 7386718660 / 2 78% master: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job php-8.0-custom-ini-true - 7386718660.2

PHPCSStandards / PHP_CodeSniffer / 7386718660 / 2
78%
master: 79%

README BADGES
x