opts: set `-DDUNE_MAX_TEST_CORES=${DUNECI_PARALLEL}`
But only if `${DUNECI_PARALLEL}` is set.
Reference: https://gitlab.dune-project.org/infrastructure/issues0/issues/47
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Stage0 | |||||||||
| passed |
#4823
|
pull base distributions |
00:01:02
|
|
|||||
| Stage1 | |||||||||
| passed |
#4828
|
base:10 |
00:05:13
|
|
|||||
| passed |
#4829
|
base:16.04 |
00:06:11
|
|
|||||
| passed |
#4830
|
base:16.10 |
00:05:47
|
|
|||||
| passed |
#4826
|
base:8 |
00:04:56
|
|
|||||
| passed |
#4827
|
base:9 |
00:04:56
|
|
|||||
| passed |
#4824
|
docker-builder |
00:00:41
|
|
|||||
| passed |
#4825
|
proxy |
00:00:39
|
|
|||||
| Stage2 | |||||||||
| passed |
#4831
|
base:8-backports |
00:01:07
|
|
|||||
| passed |
#4832
|
dune:2.3 |
00:00:57
|
|
|||||
| passed |
#4833
|
dune:2.4 |
00:00:34
|
|
|||||
| passed |
#4834
|
dune:2.5 |
00:00:26
|
|
|||||
| passed |
#4835
|
dune:2.6 |
00:11:01
|
|
|||||
| passed |
#4836
|
dune:git |
00:08:31
|
|
|||||
| Stage3 | |||||||||
| passed |
#4837
|
dune-fufem:2.4 |
00:03:09
|
|
|||||
| passed |
#4838
|
dune-fufem:git |
00:03:27
|
|
|||||
| Publish | |||||||||
| passed |
#4839
|
publish |
00:38:15
|
|
|||||