duneci-standard-test: do not be unhappy about empty select_test_args array

18 jobs for master in 31 minutes and 52 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Stage0
passed #5786
pull base distributions

00:00:22

 
  Stage1
passed #5791
base:10

00:00:11

passed #5792
base:16.04

00:00:11

passed #5789
base:8

00:00:16

passed #5790
base:9

00:00:16

passed #5787
docker-builder

00:00:12

passed #5788
proxy

00:00:15

 
  Stage2
passed #5793
base:8-backports

00:01:01

passed #5794
dune:2.3

00:00:50

passed #5795
dune:2.4

00:00:35

passed #5796
dune:2.5

00:17:21

passed #5797
dune:2.6

00:12:51

passed #5798
dune:git

00:09:13

 
  Stage3
passed #5799
dune-fufem:2.4

00:03:21

passed #5800
dune-fufem:git

00:03:46

passed #5801
dune-pdelab-deps:2.6

00:02:40

passed #5802
dune-pdelab-deps:git

00:02:13

 
  Publish
passed #5803
publish

00:09:51