accordproject / ergo

95%

master: 96%

LAST BUILD ON BRANCH wasm-rebase

branch: wasm-rebase

CHANGE BRANCH

x

Reset

• wasm-rebase
• 0.8.2
• add-trademark-policy
• ap-publish-v0.23.0-alpha.3
• ciceromark-0.4
• concerto-1.0
• dependabot/npm_and_yarn/braces-3.0.2
• dependabot/npm_and_yarn/dot-prop-4.2.1
• dependabot/npm_and_yarn/follow-redirects-1.14.7
• dependabot/npm_and_yarn/follow-redirects-1.14.8
• dependabot/npm_and_yarn/handlebars-4.7.7
• dependabot/npm_and_yarn/http-cache-semantics-4.1.1
• dependabot/npm_and_yarn/ini-1.3.7
• dependabot/npm_and_yarn/ini-1.3.8
• dependabot/npm_and_yarn/json5-1.0.2
• dependabot/npm_and_yarn/lodash-4.17.19
• dependabot/npm_and_yarn/lodash-4.17.21
• dependabot/npm_and_yarn/minimist-1.2.6
• dependabot/npm_and_yarn/node-fetch-2.6.1
• dependabot/npm_and_yarn/parse-path-and-lerna-7.0.0
• dependabot/npm_and_yarn/parse-url-6.0.2
• dependabot/npm_and_yarn/parse-url-6.0.5
• dependabot/npm_and_yarn/parse-url-and-lerna-8.1.0
• dependabot/npm_and_yarn/tar-4.4.15
• dependabot/npm_and_yarn/tar-4.4.19
• dependabot/npm_and_yarn/urijs-and-accordproject/concerto-core-1.19.11
• dependabot/npm_and_yarn/vm2-3.9.11
• dependabot/npm_and_yarn/vm2-3.9.6
• dependabot/npm_and_yarn/y18n-3.2.2
• dependabot/npm_and_yarn/yargs-parser-20.2.4
• ds-bump-concerto
• ds-concertov2
• ergo-0.21
• ergo-0.7
• gsoc2020-wasm
• js-0.22.2
• js-alpha.4
• js-alpha.7
• js-chore-0.20.10
• js-deprecate-js-logic
• js-engine-refactor
• js-ergo-0.7.4
• js-experiment-markdown
• js-experiment-text-escaping
• js-feature-builtin-models
• js-feature-dual-engine
• js-feature-dynamic-templates
• js-feature-wishlist
• js-fix-circleci
• js-fix-concerto-tools
• js-fix-engine-consolidation
• js-fix-miscellaneous
• js-fix-publish-without-externals
• js-fix-windows-coverage
• js-issue620-ap-docs
• js-pre-concerto-2.0
• js-refactor-validaiton
• js-release-0.20
• js-release-0.8.6
• js-wip-new-compiler
• main
• master
• mr-seed-examples-libs
• mttrbrts-patch-1
• mttrbrts-patch-2
• parserv2
• perry-contribs/master
• refs/tags/v0.22.0
• refs/tags/v0.22.0-alpha.1
• refs/tags/v0.22.0-alpha.2
• refs/tags/v0.22.0-alpha.3
• refs/tags/v0.22.0-alpha.4
• refs/tags/v0.22.0-alpha.5
• refs/tags/v0.22.0-alpha.6
• refs/tags/v0.22.0-alpha.7
• refs/tags/v0.22.0-alpha.8
• refs/tags/v0.22.0-alpha.9
• refs/tags/v0.22.1
• refs/tags/v0.22.2
• refs/tags/v0.23.0
• refs/tags/v0.23.0-alpha.1
• refs/tags/v0.23.0-alpha.3
• refs/tags/v0.23.1
• refs/tags/v0.23.2
• refs/tags/v0.24.0
• release-0.21
• release-1.0
• v0.20-alpha.1
• v0.20.0
• v0.20.0-alpha.1
• v0.20.0-beta.1
• v0.20.0-beta.2
• v0.20.0-beta.3
• v0.20.1
• v0.20.10
• v0.20.2
• v0.20.3
• v0.20.4
• v0.20.5
• v0.20.6
• v0.20.7
• v0.20.9
• v0.21
• v0.21.0
• v0.21.1
• v0.21.2
• v0.21.3
• v0.21.4
• v0.21.5
• v0.21.6
• v0.21.7
• v0.21.8
• v0.21.9
• v0.7.0
• v0.7.2
• v0.7.3
• v0.8.0
• v0.8.1
• v0.8.3
• v0.8.4
• v0.8.5
• v0.9.0
• v0.9.1
• v0.9.2
• v0.9.3
• v0.9.4
• wasm
• wasm-hack
• wasm-rebased
• wasm-scratch
• wasm-signed0ff

Build # 2189

Build Type

push

travis-ci

Committed by jeromesimeon

Commit Message

chore(dep) Fixes for Coq 8.12 + license check fixes

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>

Run Details

318 of 358 branches covered (88.83%)

Branch coverage included in aggregate %.

883 of 904 relevant lines covered (97.68%)

763.22 hits per line