From 7e4807889d4d5109fcce21c0da7d467e1c02900d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 6 May 2023 21:35:34 +0000 Subject: [PATCH] Deployed 440e10c3 to nightly with MkDocs 1.4.2 and mike 1.1.2 --- .../development/build_process/index.html | 2 +- nightly/search/search_index.json | 2 +- nightly/sitemap.xml | 54 +++++++++--------- nightly/sitemap.xml.gz | Bin 480 -> 481 bytes 4 files changed, 29 insertions(+), 29 deletions(-) diff --git a/nightly/contribution/development/build_process/index.html b/nightly/contribution/development/build_process/index.html index 1b9502a7..3e83dd99 100644 --- a/nightly/contribution/development/build_process/index.html +++ b/nightly/contribution/development/build_process/index.html @@ -1100,7 +1100,7 @@
  • Build a release build with: