Merge branch 'update-ci' into 'master'

update CI

See merge request knot/knot-resolver!494

ci/Dockerfile

@@ -77,3 +77,6 @@ RUN luarocks install luacov
 
 # LuaJIT binary for stand-alone scripting
 RUN apt-get install -y -qqq luajit
+
+# OpenBuildService CLI tool
+RUN apt-get install -y osc

ci/respdiff/respdiff-tcp.conf

@@ -3,6 +3,9 @@
 timeout = 11
 # number of queries to run simultaneously
 jobs = 64
+# in seconds (float); delay each query by a random time (uniformly distributed) between min and max; set max to 0 to disable
+time_delay_min = 0
+time_delay_max = 0
 
 [servers]
 names = kresd, bind, unbound

ci/respdiff/respdiff-tls.conf

@@ -3,6 +3,9 @@
 timeout = 11
 # number of queries to run simultaneously
 jobs = 64
+# in seconds (float); delay each query by a random time (uniformly distributed) between min and max; set max to 0 to disable
+time_delay_min = 0
+time_delay_max = 0
 
 [servers]
 names = kresd, bind, unbound

ci/respdiff/respdiff-udp.conf

@@ -3,6 +3,9 @@
 timeout = 11
 # number of queries to run simultaneously
 jobs = 64
+# in seconds (float); delay each query by a random time (uniformly distributed) between min and max; set max to 0 to disable
+time_delay_min = 0
+time_delay_max = 0
 
 [servers]
 names = kresd, bind, unbound