d-led / gen_server_virtual_time
88%

DEFAULT BRANCH: main
Repo Added
Token yTWNj9G56mkAnj6n1Yl4mIGi61cjmXhfX regen
Build 129 Last
Files 24
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

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
Sync Branches

coverage: 87.562%. Remained the same
Relevant lines Covered
2637 RELEVANT LINES 2309 COVERED LINES
4783.1 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20c7accc... main docs(generated): link the checked-in snapshots to this repository Four project snapshots under generated/ were written before the generators stopped emitting a yourusername placeholder, so their READMEs pointed at a repository that does not exist. push d-led github
87.56
35a58131... main Merge pull request #2 from d-led/chore/refresh-quality-tests-docs-and-template-versions Bring the tests, docs and generated projects back in line with the code push web-flow github
87.56
a21cf044... chore/refresh-quality-tests-docs-and-template-versions test(versions): enumerate the subset instead of filtering it Filtering the table down to the pins that start with a digit only kept a handful of the generated values, which StreamData refuses (it gave up on Elixir 1.19 and warned on 1.20). The pr... Pull #2 d-led github
87.56
c3c1ccd3... chore/refresh-quality-tests-docs-and-template-versions feat(templates.upgrade): say where a current pin is current according to A row that needed nothing printed nothing in its upstream column, and its latest column stayed blank, so the one question a maintainer asks of a pin that never moves had no ... Pull #2 d-led github
87.56
f4816090... chore/refresh-quality-tests-docs-and-template-versions 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 #2 d-led github
87.56
615f536b... chore/refresh-quality-tests-docs-and-template-versions test(http): arrange the absence of a token The coverage job runs with a token in its environment, where the client was right to send an authorization header and the test was wrong to expect none. Both variables are now cleared for that one assert... Pull #2 d-led github
87.56
4b481005... chore/refresh-quality-tests-docs-and-template-versions chore: regenerate the checked-in projects The reports and the Vlingo sample in generated/ were written before the identifier conversion and the diagram ordering were fixed, so regenerating them with 'mix templates.upgrade --examples' changed them... Pull #2 d-led github
87.56
04872689... chore/refresh-quality-tests-docs-and-template-versions docs: make the documentation true again An audit of every README against the code found claims that could not be executed or were contradicted elsewhere in the same file: * README used ActorSimulation.wrap_mermaid_html/1, which does not exist, a... Pull #2 d-led github
84.85
8391d1b8... main Release v0.6.0 Breaking changes: minimum Elixir is now 1.19 with OTP 28, and VirtualClock.cancel_timer/2 returns the remaining virtual time or false where it used to return :ok. Events scheduled for the same instant now fire in scheduling order, ... push d-led github
86.3
a3917c91... main style: clear the length/1 warnings, Credo is clean Credo's expensive-empty-enum check flagged 42 places comparing the result of length/1 against zero. Replaced with the direct comparison it asks for: length(x) > 0 becomes x != [] and length(x) >=... push d-led github
86.3
See All Builds (129)

Badge your Repo: gen_server_virtual_time

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh