comby-tools / comby

74%

master: 72%

LAST BUILD ON BRANCH coq

branch: coq

CHANGE BRANCH

x

Reset

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

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