archetech / archon / 35533627780
87%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 100
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
coverage: 92.584% (+0.007%) from 92.577%
35533627780

push

github

web-flow 
feat(proofs): complete integrated agent eligibility projection

* feat(proofs): complete integrated agent eligibility projection

* docs(proofs): clarify A1 status and theorem references

4625 of 5286 branches covered (87.5%)

Branch coverage included in aggregate %.

9232 of 9681 relevant lines covered (95.36%)

21360.1 hits per line

Jobs
ID Job ID Ran Files Coverage
1 35533627780.1 200
93.65
GitHub Action Run
Source Files on build 35533627780