6bd7bc967620261412d757b2f1a4d1d3838df426
85%

Ran 12 Oct 2025 03:16PM UTC

Jobs 1

Files 17

Run time 1min

Badge

Embed ▾

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

Build # 6bd7bc967620261412d757b2f1a4d1d3838df426

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	6bd7bc967620261412d757b2f1a4d1d3838df426.1	12 Oct 2025 03:16PM UTC	17	81.13	GitHub Action Run

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6bd7bc967620261412d757b2f1a4d1d3838df426

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6bd7bc967620261412d757b2f1a4d1d3838df426

d-led / gen_server_virtual_time / 6bd7bc967620261412d757b2f1a4d1d3838df426
85%

README BADGES
x