182
7%
revdeps-leaf-pkgs: %

Ran 01 Sep 2023 09:34AM UTC

Jobs 1

Files 442

Run time 11s

Badge

Embed ▾

Committed 01 Sep 2023 09:10AM UTC coverage: 6.987%. Remained the same

Build # 182

Build Type

push

github

Committed by

Leonidas-from-XIV

Commit Message

dune exec: support pform syntax

This supports things like `dune exec time %{bin:e}`.

The syntax is consistent with what support in `dune build` and
backwards compatible in cases where no arguments start with `%`.

The resolution mechanism is slightly different for the program and the
rest of the arguments:

- the program is always considered a possible dependency, either in
  pform syntax (`%{bin:e}` or in string syntax (`./path/to/e`,
  `_build/default/path/to/e`).
- arguments are only interpreted as dependencies if they are in pform
  syntax.

Closes #2691

Signed-off-by: Etienne Millon <me@emillon.org>
Signed-off-by: Marek Kubica <marek@tarides.com>

Coverage Stats

2568 of 36753 relevant lines covered (6.99%)

30992.35 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	182.1	01 Sep 2023 09:34AM UTC	0	6.99	GitHub Action Run

Source Files on build 182

Detailed source file information is not available for this build.

Leonidas-from-XIV / dune / 182
7%
revdeps-leaf-pkgs: %

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 182

Leonidas-from-XIV / dune / 182 7% revdeps-leaf-pkgs: %

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 182

Leonidas-from-XIV / dune / 182
7%
revdeps-leaf-pkgs: %

README BADGES
x