comby-tools / comby

74%

master: 72%

LAST BUILD ON BRANCH coq

branch: coq

CHANGE BRANCH

x

Reset

• coq
• ppx-bisect
• master
• test-build
• third-party-licenses
• staging
• cli-testing
• 0.3.0
• pat-diff
• 0.4.0
• parallel-zip
• offsets-to-line-and-col
• 4.07
• benchmark
• main-refactor
• no-template-newlines
• configuration-tests
• diff-default
• coverage-build-in-ci-only
• remove-balanced-apostrophe-from-some-languages
• add-text
• fix-strings-and-html
• exclude-dir-option
• fixup-benchmark-branch
• alpine-dockerfiles
• restore-coverage-with-docker-build
• fix-flaky-cli-test
• force-matcher-option
• 0.5.0
• fix-default-dir
• 0.5.1
• add-paren-and-dyck
• recursively-parse-templates-dir
• restart-eintr
• cleanup
• restart-eintr-fix
• sort-specs
• jsx-tsx
• file-ext-suffix
• json-only-diff
• exclude-dir-in-zips
• posix-holes
• source-install-update
• alphanum-delims-clean
• alphanum-delims-with-holes-fix-regression
• alphanum-delims-with-holes-fix-regression-clean
• 0.6.0
• 0.7.0
• pcre-instead-of-pcre-dev
• remove-bash-alphanum-whitespace
• lsif-test
• omega-engine
• explain-matcher
• newline-hole-matcher
• graph-hole-should-not-match-reserved
• space-separated-files-on-cli
• output-matches-per-line
• clean-up-output
• clean-up-rule
• fix-alphanum-delim-bug-v2
• implicit-equal-constraint
• better-rewrite-rule
• fix-python-definition
• update-server-rule-and-implicit-equals
• fixup-elixir
• 0.8.0
• pipeline
• server-environment-substitute
• optional-escape-syntax
• match-empty-before-newline-for-newline-hole
• cleanup-output-v2
• match-only-output-v2
• small-fixups-d
• interactive-v2
• set-up-opam-deps-only
• update-readme-instructions
• warn-invalid-matcher-option
• allow-all-syntax-in-rewrite
• fixup-reading-rule-from-dir
• fixup-reading-rule-from-dir-v2
• add-server-timeout-per-match
• change-review-default-skip
• moar-test-coverage
• 0.9.0-prep
• 0.9.0
• remove-lterm-dependency
• relative-patch
• 0.9.1
• omega-engine-v2
• fixup-empty-string
• only-matching
• disable-substring-matching-option
• add-reason
• nim
• 4.08.1
• 0.10.1
• 0.10.0
• error-on-diff-and-stdout
• substitute-on-cmdline
• update-readme
• line-col-match-output
• js-ts
• simplify-docker-builds
• ubuntu-binary-build-docker
• 0.11.0
• optional-holes
• patch-compatible-diffs-test
• 0.11.1
• trailing-newline-diffs
• 0.11.2
• preserve-slash-r
• dockerfile-labels
• 0.11.3
• warn-on-simple-hole-start-pattern
• 0.12.0
• print-line-numbers-for-match-only
• continue-omega
• md
• suppress-string-content-on-timeout
• 0.12.1
• bump-lwt
• remove-unneeded-attempts
• continue-omega-no-oo
• zip64-support
• actions
• actions-no-docker
• actions-lsif
• exempt-underscore-equality
• fast-line-col-compute
• debug-lsif
• fix-actions
• omega-progress
• 0.12.2
• 0.13.0
• regex-holes
• fresh-id
• 0.13.1
• robust-angstrom
• hash-with-labels
• expression-hole
• sub-holes-as-fresh
• comments-in-template-imply-whitespace
• fix-build
• fix-test
• bytecode-build
• comments-in-template-imply-whitespacev2
• 0.14.1
• multiple-exclude-dir
• 0.15.0
• exclude-file
• omega-flag
• mutate
• fix-fast-line-col
• action-without-env
• context-lines
• fix-4.10-core-0.13
• fix-patdiff-build
• fix-123
• 0.16.0
• fix-exact-paths
• test-exact-paths
• 0.17.0
• approx-regex
• approx-regex-lwt
• regex-holes-v2
• regex-holes-v3-clean
• fix-raw-literal-matcher
• comments-imply-whitespace-v3
• graphql-definition
• terminate-at-line-on-toplevel
• terminate-at-line-on-toplevel-2
• terminate-at-line-omega
• 0.18.0
• 0.18.1
• match-as
• rg
• 0.18.2
• 0.18.3
• top-level-fixup
• 0.18.4
• cut-off-by-default-except-some-langs
• ellipses-in-rules
• 1.0.0
• rg-redux
• m-count
• eof-anchor
• fix-comment-string
• js-regexp-literal
• haskell-single-quote
• match-only-json-escaping
• rikhuizer
• incrementing-uuids-for-sequential
• upgrade-4.11
• add-langs
• nested-new
• fix-crlf
• restore-coverage
• 1.1.0
• mparser-update
• 1.1.1
• vendor
• update-angstrom
• parallel-libs
• operators
• 1.2.0
• lwt-5.0.0
• 1.2.1
• 1.2.2
• fix-config-match-printing
• custom-syntax
• mli

Build # 1154

Build Type

Pull #216

travis-ci-com

Committed by web-flow

Commit Message

Merge aae38f691 into 742a54632

Pull Request Pull Request #216: add coq (wip)

Run Details

1671 of 2254 relevant lines covered (74.13%)

12530.0 hits per line