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

accordproject / ergo / 719307708
96%
master: 96%

Build:
Build:
LAST BUILD BRANCH: dependabot/npm_and_yarn/http-cache-semantics-4.1.1
DEFAULT BRANCH: master
Ran 05 Apr 2021 01:24PM UTC
Jobs 3
Files 19
Run time 6min
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

pending completion
719307708

push

github

Jerome Simeon
chore(upgrade) Ergo compiler code switched to Coq 8.12

320 of 358 branches covered (89.39%)

Branch coverage included in aggregate %.

886 of 904 relevant lines covered (98.01%)

1526.95 hits per line

Jobs
ID Job ID Ran Files Coverage
2 windows-latest - 719307708.2 05 Apr 2021 01:25PM UTC 0
0.0
GitHub Action Run
4 ubuntu-latest - 719307708.4 05 Apr 2021 01:25PM UTC 0
95.56
GitHub Action Run
6 macOS-latest - 719307708.6 05 Apr 2021 01:29PM UTC 0
95.56
GitHub Action Run
Source Files on build 719307708
Detailed source file information is not available for this build.
  • Back to Repo
  • 28b96736 on github
  • Prev Build on release-1.0 (#2229)
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