508
45%

Ran 30 Mar 2026 07:28AM UTC

Jobs 1

Files 12

Run time 1min

Badge

Embed ▾

Committed 30 Mar 2026 07:22AM UTC coverage: 44.728% (-0.05%) from 44.775%

Build # 508

Build Type

push

github

Committed by

filipeom

Commit Message

Bump actions/deploy-pages from 4 to 5

Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 4 to 5.
- [Release notes](https://github.com/actions/deploy-pages/releases)
- [Commits](https://github.com/actions/deploy-pages/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/deploy-pages
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Run Details

963 of 2153 relevant lines covered (44.73%)

9.41 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	508.1	30 Mar 2026 07:28AM UTC	12	44.73	GitHub Action Run

formalsec / smtml / 508
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 508

formalsec / smtml / 508 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 508

formalsec / smtml / 508
45%

README BADGES
x