Ran
|
Jobs
1
|
Files
541
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
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>
2912 of 42137 relevant lines covered (6.91%)
27033.38 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 27843.1 | 541 |
6.91 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|