Skip to content

Render the verifier's line tags as subscripts and name every part of an error alike - #196

Merged
CatarinaGamboa merged 5 commits into
mainfrom
feat/175-line-tags
Nov 11, 2026
Merged

Render the verifier's line tags as subscripts and name every part of an error alike#196
CatarinaGamboa merged 5 commits into
mainfrom
feat/175-line-tags

Say in a line tag's tooltip which value of the variable it stands for…

cce8ff3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar