#19: % update pipe

Author: EdmondDantes

.github/workflows/build.yml

@@ -166,4 +166,12 @@ jobs:
             --show-diff \
             --show-slow 2000 \
             --set-timeout 120 \
-            --repeat 2
+            --repeat 2
+          /usr/local/bin/php ../../run-tests.php \
+            -m \
+            -j4 \
+            -g FAIL,BORK,LEAK,XLEAK \
+            --no-progress \
+            --offline \
+            --show-diff \
+            --set-timeout 120