• 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
Detailed source file information is not available for this build.
  • 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

© 2026 Coveralls, Inc