• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

jorisroovers / gitlint / 5355813324
100%

Build:
DEFAULT BRANCH: main
Ran 23 Jun 2023 11:21AM UTC
Jobs 0
Files 0
Run time –
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
5355813324

push

github

jorisroovers
GHA: Notify - extract PR number when merging on main (#511)

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.
Source Files on build 5355813324
  • Tree
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • ff22f6fd on github
  • Prev Build on main (#5355544351)
  • Next Build on main (#5356013985)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc