• 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: SELECT
CHANGE BRANCH
x
  • No branch selected
  • coverity_scan
  • develop
  • fastcall
  • master

03 Feb 2026 08:16PM UTC coverage: 96.403% (-0.003%) from 96.406%
21646218431

push

github

cdragan
doc: update nvim instructions

24573 of 25490 relevant lines covered (96.4%)

900381.01 hits per line

Relevant lines Covered
Build:
Build:
25490 RELEVANT LINES 24573 COVERED LINES
900381.01 HITS PER LINE
Source Files on master
  • Tree
  • List 43
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
21564087123 master core: update Haiku support push 01 Feb 2026 01:57PM UTC cdragan github
96.45
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 (1299)
  • 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