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

stanford-oval / node-cvc4
79%

Build:
DEFAULT BRANCH: master
Repo Added 17 Aug 2018 06:23AM UTC
Files 1
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 master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • dependabot/add-v2-config-file
  • dependabot/npm_and_yarn/acorn-6.4.1
  • dependabot/npm_and_yarn/coveralls-3.1.0
  • dependabot/npm_and_yarn/coveralls-3.1.1
  • dependabot/npm_and_yarn/eslint-7.1.0
  • dependabot/npm_and_yarn/eslint-7.10.0
  • dependabot/npm_and_yarn/eslint-7.12.1
  • dependabot/npm_and_yarn/eslint-7.14.0
  • dependabot/npm_and_yarn/eslint-7.16.0
  • dependabot/npm_and_yarn/eslint-7.19.0
  • dependabot/npm_and_yarn/eslint-7.2.0
  • dependabot/npm_and_yarn/eslint-7.21.0
  • dependabot/npm_and_yarn/eslint-7.25.0
  • dependabot/npm_and_yarn/eslint-7.27.0
  • dependabot/npm_and_yarn/eslint-7.29.0
  • dependabot/npm_and_yarn/eslint-7.3.0
  • dependabot/npm_and_yarn/eslint-7.3.1
  • dependabot/npm_and_yarn/eslint-7.32.0
  • dependabot/npm_and_yarn/eslint-7.4.0
  • dependabot/npm_and_yarn/eslint-7.5.0
  • dependabot/npm_and_yarn/eslint-7.6.0
  • dependabot/npm_and_yarn/eslint-7.8.0
  • dependabot/npm_and_yarn/eslint-utils-1.4.3
  • dependabot/npm_and_yarn/glob-parent-5.1.2
  • dependabot/npm_and_yarn/json5-2.2.3
  • dependabot/npm_and_yarn/lodash-4.17.19
  • dependabot/npm_and_yarn/minimist-1.2.6
  • dependabot/npm_and_yarn/minimist-1.2.8
  • dependabot/npm_and_yarn/nyc-15.0.1
  • dependabot/npm_and_yarn/nyc-15.1.0
  • dependabot/npm_and_yarn/path-parse-1.0.7
  • dependabot/npm_and_yarn/qs-6.5.3
  • dependabot/npm_and_yarn/smtlib-1.0.0
  • dependabot/npm_and_yarn/y18n-4.0.1
  • greenkeeper/bindings-1.3.1
  • greenkeeper/bindings-1.5.0
  • greenkeeper/coveralls-3.0.10
  • greenkeeper/coveralls-3.0.11
  • greenkeeper/coveralls-3.0.12
  • greenkeeper/coveralls-3.0.13
  • greenkeeper/coveralls-3.0.14
  • greenkeeper/coveralls-3.0.3
  • greenkeeper/coveralls-3.0.4
  • greenkeeper/coveralls-3.0.7
  • greenkeeper/coveralls-3.0.8
  • greenkeeper/coveralls-3.0.9
  • greenkeeper/coveralls-3.1.0
  • greenkeeper/coveralls-pin-3.0.5
  • greenkeeper/eslint-5.14.0
  • greenkeeper/eslint-5.14.1
  • greenkeeper/eslint-5.15.0
  • greenkeeper/eslint-5.15.1
  • greenkeeper/eslint-5.15.2
  • greenkeeper/eslint-5.15.3
  • greenkeeper/eslint-6.0.0
  • greenkeeper/eslint-6.0.1
  • greenkeeper/eslint-6.2.0
  • greenkeeper/eslint-6.2.1
  • greenkeeper/eslint-6.2.2
  • greenkeeper/eslint-6.3.0
  • greenkeeper/eslint-6.4.0
  • greenkeeper/eslint-6.5.0
  • greenkeeper/eslint-6.5.1
  • greenkeeper/eslint-6.6.0
  • greenkeeper/eslint-6.7.0
  • greenkeeper/eslint-6.7.1
  • greenkeeper/eslint-6.7.2
  • greenkeeper/eslint-6.8.0
  • greenkeeper/eslint-pin-5.15.3
  • greenkeeper/eslint-pin-6.0.1
  • greenkeeper/nyc-13.2.0
  • greenkeeper/nyc-13.3.0
  • greenkeeper/nyc-14.0.0
  • greenkeeper/nyc-14.1.0
  • greenkeeper/nyc-14.1.1
  • greenkeeper/nyc-15.0.0
  • greenkeeper/nyc-15.0.1
  • greenkeeper/nyc-15.1.0
  • release
  • v0.1.2

pending completion
170

push

travis-ci-com

web-flow
Bump path-parse from 1.0.6 to 1.0.7 (#42)

Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.6 to 1.0.7.
- [Release notes](https://github.com/jbgutierrez/path-parse/releases)
- [Commits](https://github.com/jbgutierrez/path-parse/commits/v1.0.7)

---
updated-dependencies:
- dependency-name: path-parse
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

12 of 16 branches covered (75.0%)

Branch coverage included in aggregate %.

38 of 47 relevant lines covered (80.85%)

5.47 hits per line

Relevant lines Covered
Build:
Build:
47 RELEVANT LINES 38 COVERED LINES
5.47 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
170 master Bump path-parse from 1.0.6 to 1.0.7 (#42) Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.6 to 1.0.7. - [Release notes](https://github.com/jbgutierrez/path-parse/releases) - [Commits](https://github.com/jbgutierrez/path-p... push 13 Aug 2021 07:13PM UTC web-flow travis-ci-com pending completion  
167 master Bump eslint from 7.29.0 to 7.32.0 (#41) Bumps [eslint](https://github.com/eslint/eslint) from 7.29.0 to 7.32.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md... push 01 Aug 2021 09:58PM UTC web-flow travis-ci-com pending completion  
164 master Bump coveralls from 3.1.0 to 3.1.1 (#39) Bumps [coveralls](https://github.com/nickmerwin/node-coveralls) from 3.1.0 to 3.1.1. - [Release notes](https://github.com/nickmerwin/node-coveralls/releases) - [Commits](https://github.com/nickmerwin/nod... push 01 Jul 2021 04:25PM UTC web-flow travis-ci-com pending completion  
163 master Bump eslint from 7.27.0 to 7.29.0 (#40) Bumps [eslint](https://github.com/eslint/eslint) from 7.27.0 to 7.29.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md... push 01 Jul 2021 04:23PM UTC web-flow travis-ci-com pending completion  
158 master Bump glob-parent from 5.0.0 to 5.1.2 (#38) Bumps [glob-parent](https://github.com/gulpjs/glob-parent) from 5.0.0 to 5.1.2. - [Release notes](https://github.com/gulpjs/glob-parent/releases) - [Changelog](https://github.com/gulpjs/glob-parent/blo... push 09 Jun 2021 03:42PM UTC web-flow travis-ci-com pending completion  
155 master Bump eslint from 7.25.0 to 7.27.0 (#37) Bumps [eslint](https://github.com/eslint/eslint) from 7.25.0 to 7.27.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md... push 01 Jun 2021 04:18PM UTC web-flow travis-ci-com pending completion  
152 master Bump eslint from 7.21.0 to 7.25.0 (#36) Bumps [eslint](https://github.com/eslint/eslint) from 7.21.0 to 7.25.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md... push 30 Apr 2021 12:46AM UTC web-flow travis-ci-com pending completion  
149 master Upgrade to GitHub-native Dependabot (#35) Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> push 29 Apr 2021 06:49PM UTC web-flow travis-ci-com pending completion  
146 master [Security] Bump y18n from 4.0.0 to 4.0.1 (#34) Bumps [y18n](https://github.com/yargs/y18n) from 4.0.0 to 4.0.1. **This update includes a security fix.** - [Release notes](https://github.com/yargs/y18n/releases) - [Changelog](https://github.com/... push 29 Mar 2021 10:47PM UTC web-flow travis-ci-com pending completion  
143 master Bump eslint from 7.19.0 to 7.21.0 (#33) Bumps [eslint](https://github.com/eslint/eslint) from 7.19.0 to 7.21.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/master/CHANGELOG.md... push 01 Mar 2021 10:31PM UTC web-flow travis-ci-com pending completion  
See All Builds (159)
  • 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