13
100%
main: 100%

Ran 23 Jun 2023 10:33AM UTC

Files 56

Run time 2s

Badge

Embed ▾

Committed 23 Jun 2023 10:28AM UTC coverage: 99.663%. Remained the same

Job # 5355391505.13

Build Type

Pull #511

github

Committed by

jorisroovers

Commit Message

GHA: Notify - extract PR number when merging on main

When using github.rest.issues.createComment, context.issue.number
does not work when the notify job is triggered by a push to the 'main'
branch event.

Instead, we manually extract the PR number using the gh CLI.

Pull Request Pull Request #511: GHA: Notify - extract PR number when merging on main

Run Details

640 of 652 branches covered (98.16%)

4432 of 4447 relevant lines covered (99.66%)

1.0 hits per line

jorisroovers / gitlint / 5355391505 / 13
100%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job gitlint-ubuntu-latest-3.7 - 5355391505.13

jorisroovers / gitlint / 5355391505 / 13 100% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job gitlint-ubuntu-latest-3.7 - 5355391505.13

jorisroovers / gitlint / 5355391505 / 13
100%
main: 100%

README BADGES
x