|
Ran
|
Jobs
1
|
Files
541
|
Run time
1min
|
Badge
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 | 0 |
6.91 |
GitHub Action Run |