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

kos-lang / kos
96%
master: 96%

Build:
Build:
LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Repo Added 14 Sep 2016 09:06PM UTC
Files 43
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 develop
branch: develop
CHANGE BRANCH
x
Reset
  • develop
  • coverity_scan
  • fastcall
  • master

12 Feb 2026 09:48PM UTC coverage: 96.407% (+0.004%) from 96.403%
21965545405

push

github

cdragan
core: eliminate undefined behavior

61 of 63 new or added lines in 9 files covered. (96.83%)

24602 of 25519 relevant lines covered (96.41%)

898002.71 hits per line

Relevant lines Covered
Build:
Build:
25519 RELEVANT LINES 24602 COVERED LINES
898002.71 HITS PER LINE
Source Files on develop
  • Tree
  • List 43
  • Changed 7
  • Source Changed 0
  • Coverage Changed 7
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21965545405 develop core: eliminate undefined behavior push 12 Feb 2026 09:49PM UTC cdragan github
96.41
21646218431 develop doc: update nvim instructions push 03 Feb 2026 08:17PM UTC cdragan github
96.4
21570770779 develop tests: fix potential race in net test push 01 Feb 2026 09:44PM UTC cdragan github
96.41
21565719023 develop net: read connected port, improve non-blocking sockets push 01 Feb 2026 03:49PM UTC cdragan github
96.44
21564025503 develop core: update Haiku support push 01 Feb 2026 01:53PM UTC cdragan github
96.45
21563863736 develop core: add arm64 support with MSVC push 01 Feb 2026 01:41PM UTC cdragan github
96.44
21560568215 develop net: attempt to fix getaddrinfo() on Windows and Haiku push 01 Feb 2026 09:37AM UTC cdragan github
96.44
21560355175 develop net: try to obtain all IP addresses in getaddrinfo() push 01 Feb 2026 09:21AM UTC cdragan github
96.44
21552548204 develop net: remove AI_DEFAULT flag from getaddrinfo() push 31 Jan 2026 11:17PM UTC cdragan github
96.43
21549931880 develop net: add domain arg to getaddrinfo() push 31 Jan 2026 07:47PM UTC cdragan github
96.43
See All Builds (1300)
  • Repo on GitHub
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