f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2
88%
main: 88%

Ran 15 Oct 2026 09:30PM UTC

Jobs 1

Files 24

Run time 1min

Badge

Embed ▾

Committed 15 Oct 2026 09:29PM UTC coverage: 87.562%. First build

Build # f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2

Build Type

Pull #2

github

Committed by

d-led

Commit Message

docs: say what is deterministic about a run

The clock is: counts, timestamps and the order of events at different
instants. Tracing observes a run, so messages that share one instant may
be recorded in the order the actors were scheduled.

Pull Request Pull Request #2: Bring the tests, docs and generated projects back in line with the code

Coverage Stats

238 of 251 new or added lines in 14 files covered. (94.82%)

2309 of 2637 relevant lines covered (87.56%)

4634.2 hits per line

Uncovered Changes

Lines	Coverage	File
8	90.7	dev/actor_simulation/template_versions/upgrade.ex
4	92.98	dev/mix/tasks/templates.upgrade.ex
1	95.35	lib/actor_simulation/generator_utils.ex

Jobs

ID	Job ID	Ran	Files	Coverage
1	f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2.1	15 Oct 2026 09:30PM UTC	24	87.56	GitHub Action Run

d-led / gen_server_virtual_time / f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2
88%
main: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2

d-led / gen_server_virtual_time / f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2 88% main: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2

d-led / gen_server_virtual_time / f4816090643f924813a0fbecaf57e3cfd2e459f6-PR-2
88%
main: 88%

README BADGES
x