517
45%

Ran 02 Apr 2026 03:37PM UTC

Jobs 1

Files 12

Run time 1min

Badge

Embed ▾

Committed 02 Apr 2026 03:30PM UTC coverage: 44.728% (-0.05%) from 44.775%

Build # 517

Build Type

push

github

Committed by

filipeom

Commit Message

fix: use backslash for char escaping in .smtml format

This is much saner than using quotes. I.e., previously we would write
this: """" to mean "\"". Using the backslash also makes it easier to
serialize the .smtml format to JSON.

Run Details

963 of 2153 relevant lines covered (44.73%)

9.4 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	14.6	-0.22%	src/smtml/ty.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	517.1	02 Apr 2026 03:37PM UTC	12	44.73	GitHub Action Run

formalsec / smtml / 517
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 517

formalsec / smtml / 517 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 517

formalsec / smtml / 517
45%

README BADGES
x