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

d-led / gen_server_virtual_time / 2d41495bdd197d185c912e9f3f46edb2b70fe9ae
85%

Build:
DEFAULT BRANCH: main
Ran 12 Oct 2025 04:49PM UTC
Jobs 1
Files 17
Run time 1min
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

12 Oct 2025 04:49PM UTC coverage: 81.158%. Remained the same
2d41495bdd197d185c912e9f3f46edb2b70fe9ae

push

github

d-led
Fix GitHub Pages deployment: copy sequence diagrams to reports directory

- Copy mermaid, plantuml, and dining philosophers diagrams into reports/ subdirectory
- This fixes 404 errors for sequence diagram links from reports index
- Deploy generated/examples to root of GitHub Pages (not /examples)
- All sequence diagrams now accessible at both root and /reports paths
- Resolves: https://d-led.github.io/gen_server_virtual_time/examples/reports/mermaid_with_timestamps.html 404

No ExDoc deployment - only examples site.

1262 of 1555 relevant lines covered (81.16%)

130.35 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2d41495bdd197d185c912e9f3f46edb2b70fe9ae.1 12 Oct 2025 04:49PM UTC 17
81.16
GitHub Action Run
Source Files on build 2d41495bdd197d185c912e9f3f46edb2b70fe9ae
  • Tree
  • List 17
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 2d41495b on github
  • Prev Build on main (#8A2F21B0...)
  • Next Build on main (#94748C71...)
  • Delete
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