formalsec / smtml
45%

DEFAULT BRANCH: main
Repo Added
Files 12
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.728% (-0.05%) from 44.775%
Relevant lines Covered
2153 RELEVANT LINES 963 COVERED LINES
9.4 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
517 main 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. push filipeom github
44.73
516 main chore: update copyright push filipeom github
44.77
515 main fix: str.len instead of str.length push filipeom github
44.87
514 main feat: add API to parse smtml expressions from file/string push filipeom github
44.77
513 main fix: respect sexp format in Naryop push filipeom github
44.87
512 main Bump hc 0.3 -> 0.5 push filipeom github
44.77
511 main Release 0.24.0 push filipeom github
44.77
510 main Fix invalid input 'tags' in release-pr CI push filipeom github
44.82
508 main 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/compa... push filipeom github
44.73
507 main Bump ocamlformat 0.28.1 -> 0.29.0 push filipeom github
44.77
See All Builds (335)