Run doctests three times

to work around flaky doctests
sagemath · Apr 30, 2018 · bdf5ee2 · bdf5ee2
1 parent 7de6efe
commit bdf5ee2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.ci/test-doctest.sh b/.ci/test-doctest.sh
@@ -16,5 +16,8 @@
 
 set -ex
 
-docker run "$1" sage -tp --all $DOCTEST_PARAMETERS
+# Run tests once, and then try the failing files twice to work around flaky doctests.
+docker run --entrypoint sh "$1" -c 'sage -tp --all $DOCTEST_PARAMETERS
+                                 || sage -tp --all $DOCTEST_PARAMETERS --failed
+                                 || sage -tp --all $DOCTEST_PARAMETERS --failed'