• 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
  • Tree
  • List 1
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses

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

© 2025 Coveralls, Inc