ci : print results [no ci] (#1358)

diff --git a/ci/run.sh b/ci/run.sh
index e8390fa42e79488eb9889d6dc90f7f3d623c8906..a6fb7e661d0e5f95f5e90ddb52fe14d921ed4e4d 100644 (file)
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -374,6 +374,7 @@ fi
 
 
 ret=0
+
 test $ret -eq 0 && gg_run ctest_debug
 test $ret -eq 0 && gg_run ctest_release
 
@@ -387,4 +388,6 @@ if [ -z $GG_BUILD_LOW_PERF ]; then
     date
 fi
 
+cat $OUT/README.md
+
 exit $ret