if doc url test fail, sleep a few seconds and try again -- this avoid random network failures

Author: williamstein

.github/workflows/make-and-test.yml

@@ -40,7 +40,7 @@ jobs:
       - name: Install python3 requests
         run: sudo apt-get install python3-requests
       - name: Check doc links
-        run: cd src/scripts && python3 check_doc_urls.py
+        run: cd src/scripts && python3 check_doc_urls.py || sleep 5 || python3 check_doc_urls.py
 
   build:
     runs-on: ubuntu-latest