21213245749
98%

Ran 21 Jan 2026 03:13PM UTC

Jobs 1

Files 48

Run time 1min

Badge

Embed ▾

Committed 21 Jan 2026 02:17PM UTC coverage: 98.169% (-0.006%) from 98.175%

Build # 21213245749

Build Type

push

github

Committed by

jan-ferdinand

Commit Message

chore: Update mdbook

Remove an outdated key from the book's definition.

Remove the `linkcheck` pre-processor: `lychee` is superior. In
particular, it
- applies not only to mdbook but the entire repository
- can (and does) verify that mentioned anchors exist

changelog: ignore

Run Details

14794 of 15070 relevant lines covered (98.17%)

9983410.77 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	97.68	-0.39%	triton-isa/src/program.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	21213245749.1	21 Jan 2026 03:13PM UTC	48	98.17	GitHub Action Run

TritonVM / triton-vm / 21213245749
98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 21213245749

TritonVM / triton-vm / 21213245749 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 21213245749

TritonVM / triton-vm / 21213245749
98%

README BADGES
x