formalsec / smtml
45%

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: SELECT
CHANGE BRANCH
x

coverage: 44.642%. Remained the same
455

push

github

filipeom 
Release 0.18.0

879 of 1969 relevant lines covered (44.64%)

7.34 hits per line

Relevant lines Covered
1969 RELEVANT LINES 879 COVERED LINES
7.34 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
455 main Release 0.18.0 push filipeom github
44.64
454 main Use fine-grained token to create release PR This is required because `GITHUB_TOKEN` does not trigger github actions to run. Which in turn, makes the PR unmergable by people that are not repository owners. push filipeom github
44.64
453 main Improve error messages in the error_kind printer push filipeom github
44.64
452 main Add Eval.pp_error_kind function push filipeom github
44.78
451 main Make settings of cli commands a concrete type Making cli command settings a concrete type makes it easier to then derive serializers to yaml/toml as well as the cmdliner parsers. push filipeom github
45.03
450 main typo push filipeom github
45.03
449 main Add publications sections to docs and README.md push filipeom github
45.03
448 main Add SOP on how to create a new release (#404) push filipeom github
45.03
447 main Release 0.17.0 push filipeom github
45.03
446 main Remove unused dependencies push filipeom github
45.03
See All Builds (284)