19265376906
98%

Ran 11 Nov 2025 12:59PM UTC

Jobs 1

Files 48

Run time 2min

Badge

Embed ▾

Committed 11 Nov 2025 12:15PM UTC coverage: 98.219% (+0.02%) from 98.199%

Build # 19265376906

Build Type

push

github

Committed by

jan-ferdinand

Commit Message

docs: Decrease width of spec page “instructions”

Also:
- add table summarizing each instruction
- briefly list the (informal) instruction categories
- break out section “about instructions”
- introduce README.md to `./specification`
- put instruction `push` before instruction `pop`
- correctly describe padding behavior of instruction `hash`
- describe general `ip` increment behavior
- remove some superfluous horizontal lines before footnotes
- add more inter-doc links

Run Details

14780 of 15048 relevant lines covered (98.22%)

9829286.29 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
3	94.46	0.17%	triton-constraint-circuit/src/lib.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	19265376906.1	11 Nov 2025 12:59PM UTC	48	98.22	GitHub Action Run

TritonVM / triton-vm / 19265376906
98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 19265376906

TritonVM / triton-vm / 19265376906 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 19265376906

TritonVM / triton-vm / 19265376906
98%

README BADGES
x