Add benchmarks to CI

docker/Dockerfile

@@ -35,7 +35,7 @@ RUN if [ "$debug" = 0 ]; then \
 
 ARG benchmarks=0
 RUN if [ "$benchmarks" != 0 ]; then \
-        echo "BENCH_OPTIONS=--features runtime-benchmarks" >>/root/dynenv && \
+        echo "BENCH_OPTIONS=--features\ runtime-benchmarks" >>/root/dynenv; \
     fi
 
 # Configure cross-build environment if need be
@@ -73,7 +73,7 @@ RUN if [ "$cucumber" != 0 ] && [ "$TARGETPLATFORM" = "$BUILDPLATFORM" ]; then \
 
 # Run runtime benchmarks
 RUN if [ "$benchmarks" != 0 ]; then \
-      build/duniter benchmark pallet --chain dev --execution=wasm --wasm-execution=compiled --pallet "*" --extrinsic "*" --steps 2 --repeat 1
+      build/duniter benchmark pallet --chain dev --execution=wasm --wasm-execution=compiled --pallet "*" --extrinsic "*" --steps 2 --repeat 1; \
     fi
 
 # ------------------------------------------------------------------------------