Deployed dc8afd2 to dev with MkDocs 1.5.3 and mike 1.1.2

githedgehog · Jan 25, 2024 · 07b0daf · 07b0daf · github-actions · Jan 25, 2024
1 parent 2003124
commit 07b0daf
Show file tree

Hide file tree

Showing 3 changed files with 128 additions and 89 deletions.
diff --git a/dev/search/search_index.json b/dev/search/search_index.json
diff --git a/dev/sitemap.xml.gz b/dev/sitemap.xml.gz