GHA: add temp debug.

.github/workflows/push.yml

@@ -21,4 +21,4 @@ jobs:
 
       - name: "./run-tests.sh"
         timeout-minutes: 5
-        run: time ./run-tests.sh
+        run: time VERBOSE=1 ./run-tests.sh

run-tests.sh

@@ -101,17 +101,18 @@ echo " >> Ping the r0 router host from node1"
 dc_test node1_1 ping -c1 10.0.0.100
 
 ./mdc node1,nodes2
-dc_init; dc_wait 10 node2_2 'ip addr | grep "10\.2\.0\.2"' \
+dc_init; dc logs; dc_wait 10 node2_2 'ip addr | grep "10\.2\.0\.2"' \
     || die "test4 node1,nodes2 startup failed"
 echo " >> From both node2 replicas, ping node1 across the r0 router"
 dc_test node2_1 ping -c1 10.1.0.1
 dc_test node2_2 ping -c1 10.1.0.1
 echo " >> From node1, ping both node2 replicas across the r0 router"
 dc_test node1 ping -c1 10.2.0.1
 dc_test node1 ping -c1 10.2.0.2
+dc logs
 
 ./mdc all
-dc_init; dc exec -T r0 /scripts/wait.sh -t 10.0.0.100:80 \
+dc_init; dc logs; dc exec -T r0 /scripts/wait.sh -t 10.0.0.100:80 \
     || die "test4 all startup failed"
 echo " >> From node2, download from the web server in r0"
 dc_test node2_1 wget -O- 10.0.0.100