• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

formalsec / smtml / 223
45%

Build:
DEFAULT BRANCH: main
Ran 17 Sep 2024 06:04PM UTC
Jobs 1
Files 31
Run time 1min
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

17 Sep 2024 05:46PM UTC coverage: 52.009% (+0.6%) from 51.416%
223

push

github

filipeom
Fix binary list operators

`List_append_last v lst` was changed into `List_cons v lst`
which conses `v` to the head of `lst`.

`List_append lst v` was changed into `List_append l0 l1`
which appends l1 to l0.

4 of 11 new or added lines in 3 files covered. (36.36%)

1 existing line in 1 file now uncovered.

1398 of 2688 relevant lines covered (52.01%)

33.03 hits per line

Jobs
ID Job ID Ran Files Coverage
1 223.1 17 Sep 2024 06:04PM UTC 0
52.01
GitHub Action Run
Source Files on build 223
Detailed source file information is not available for this build.
  • Back to Repo
  • 9a9c26d7 on github
  • Prev Build on main (#222)
  • Next Build on main (#224)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc