Leonidas-from-XIV / dune / 261

Build # 261

Build Type

push

github

Committed by web-flow

Commit Message

Set `Clflags.concurrency` for non watch builds (#10801)

In 35b3e0de7 we started passing the
configured parallelism to package builds by setting their `jobs`
variable to the degree of parallelism configured for dune, but it
seems this change was only applied for builds started with
`--watch`. This commit applies the configured parallelism to package
builds when dune is run without `--watch`.

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>

Run Details

2912 of 42137 relevant lines covered (6.91%)

27033.44 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available