formalsec / smtml
46%

DEFAULT BRANCH: main
Repo Added
Files 13
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 45.639%. Remained the same
438

push

github

filipeom 
Remove opam-repositories from CI as it is no longer needed

879 of 1926 relevant lines covered (45.64%)

7.49 hits per line

Relevant lines Covered
1926 RELEVANT LINES 879 COVERED LINES
7.49 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
438 main Remove opam-repositories from CI as it is no longer needed push filipeom github
45.64
437 main Parse i8 (8-bit integers/bit-vectors) push filipeom github
45.64
436 main use a coercion from entry to Yojson.Basic.t to avoid runtime conversion push filipeom github
45.64
435 main Release 0.16.0 push filipeom github
45.66
434 main Use default opam-repositories in CI push filipeom github
45.66
432 main Release 0.16.0 push filipeom github
45.66
431 main Do not write anything into the log file when there are no queries to log push hra687261 github
45.66
430 main Append to the query logging file instead of truncating it. push hra687261 github
45.66
429 main Fmt push hra687261 github
45.66
428 main Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push filipeom github
45.66
See All Builds (267)