Fix lint

svekars · svekars · commit 0ef778c0e04e · 2025-11-04T16:58:38.000-08:00
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -75,7 +75,11 @@ jobs:
         cp -rf executorch_android/build/intermediates/java_doc_dir/release/javaDocReleaseGeneration "${RUNNER_DOCS_DIR}/javadoc"
         cd ../..
 
-        # Note: noindex meta tag is automatically added by conf.py for non-stable releases (main, dev versions)
+        # If it's main branch, add noindex tag to all .html files to exclude from Google Search indexing.
+        echo "GitHub Ref: ${GITHUB_REF}"
+        if [[ "${{ github.ref }}" == 'refs/heads/main' ]]; then
+          find docs/_build/html/ -name "*.html" -print0 | xargs -0 sed -i '/<head>/a \ \ <meta name="robots" content="noindex">';
+        fi
 
         cp -rf docs/_build/html/* "${RUNNER_DOCS_DIR}"
 
diff --git a/.mypy.ini b/.mypy.ini
@@ -74,6 +74,12 @@ ignore_missing_imports = True
 [mypy-pytorch_sphinx_theme]
 ignore_missing_imports = True
 
+[mypy-pytorch_sphinx_theme2]
+ignore_missing_imports = True
+
+[mypy-executorch.version]
+ignore_missing_imports = True
+
 [mypy-ruamel]
 ignore_missing_imports = True
 
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -255,12 +255,6 @@
     "display_version": True,
 }
 
-# Control the noindex meta tag based on version
-# Only add noindex for main branch (not stable releases)
-if not RELEASE:
-    html_meta = {
-        "robots": "noindex",
-    }
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
