27243
7%

Ran 19 Jun 2024 11:31AM UTC

Jobs 1

Files 536

Run time 14min

Badge

Embed ▾

Committed 19 Jun 2024 11:17AM UTC coverage: 6.911% (-0.003%) from 6.914%

Build # 27243

Build Type

push

github

Committed by

web-flow

Commit Message

fix(test): correctly scrub coq and coq/theories (#10657)

In `[^\s\f]*`, the `\` is interpreted literally, matching a backslash
character. Instead we use `[:space:]` which corresponds to `\s`, but
works in a `[]` context.

In addition, we have to fix the pattern so that it only matches
directories that end with `coq` or `coq/theories`, otherwise it replaces
too many directories and `$TESTCASE_ROOT` gets eaten.

This has the nice benefit of making the coq test suite work under nix,
where `coq/theories` is installed elsewhere.

Signed-off-by: Etienne Millon <me@emillon.org>

Run Details

2913 of 42153 relevant lines covered (6.91%)

27023.03 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	27243.1	19 Jun 2024 11:31AM UTC	0	6.91	GitHub Action Run

Source Files on build 27243

Detailed source file information is not available for this build.

ocaml / dune / 27243
7%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27243

ocaml / dune / 27243 7%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27243

ocaml / dune / 27243
7%

README BADGES
x