Deployed 139f3e1e3 to dev with MkDocs 1.3.0 and mike 1.1.2

2026-02-10 02:33:15 +08:00 · 2023-06-11 05:51:09 +00:00
parent c5d6cf362b
commit 899ad0de67
118 changed files with 4962 additions and 132 deletions
--- a/dev/tutorials/integrations/github-actions/index.html
+++ b/dev/tutorials/integrations/github-actions/index.html
@@ -376,6 +376,20 @@ You're not viewing the latest version.
  
  
  
+    <li class="md-nav__item">
+      <a href="../../../getting-started/coverage/" class="md-nav__link">
+        Scanning coverage
+      </a>
+    </li>
+  
+
+            
+          
+            
+              
+  
+  
+  
    <li class="md-nav__item">
      <a href="../../../getting-started/faq/" class="md-nav__link">
        FAQ