disable docs checking

2020-09-08 11:01:55 -07:00
parent c588c6178f
commit 9a7bf30e80
1 changed files with 2 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -457,5 +457,6 @@
            }
        }
    },
-    "uploadDocs": true
+    "uploadDocs": true,
+    "ignoreDocsErrors": true
 }