1
85%
main: 85%

Ran 12 Oct 2025 03:16PM UTC

Files 17

Run time 0s

Badge

Embed ▾

Committed 12 Oct 2025 03:15PM UTC coverage: 81.13%. Remained the same

Job # 6bd7bc967620261412d757b2f1a4d1d3838df426.1

Build Type

push

github

Committed by

d-led

Commit Message

Move examples to generated/examples/ for Pages deployment

- Tests now generate diagrams and reports directly to generated/examples/
- Index.html files are tracked in generated/examples/
- Workflow uploads generated/examples/ (simple copy!)
- All HTML files in one place

Run Details

1264 of 1558 relevant lines covered (81.13%)

130.13 hits per line

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426 / 1
85%
main: 85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6bd7bc967620261412d757b2f1a4d1d3838df426.1

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426 / 1 85% main: 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6bd7bc967620261412d757b2f1a4d1d3838df426.1

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426 / 1
85%
main: 85%

README BADGES
x