ci: Deduplicate and add timing measurements
Compare changes
+ 68
− 43
@@ -24,17 +59,13 @@ ubuntu_16.04_x86_64_deb:
@@ -46,13 +77,12 @@ osx_10.11_x86_64_dmg:
@@ -64,13 +94,12 @@ osx_10.8_x86_64_dmg:
@@ -81,13 +110,12 @@ windows_i386_innosetup:
@@ -99,17 +127,14 @@ raspbian_stretch_armv7l_deb: