From dab044d83d6ee939b52ce06b32a7a33a241a5017 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 29 Nov 2023 21:21:54 +0000 Subject: [PATCH] deploy: 19e96b5131ba935a0e54e554c3f3a0e6fc66f3b4 --- .../tutorials/docker-build/index.html | 63 ++++++------- edge/search/search_index.json | 2 +- edge/sitemap.xml | 88 +++++++++---------- 3 files changed, 74 insertions(+), 79 deletions(-) diff --git a/edge/examples/tutorials/docker-build/index.html b/edge/examples/tutorials/docker-build/index.html index b3fff5e5..14cde5cc 100644 --- a/edge/examples/tutorials/docker-build/index.html +++ b/edge/examples/tutorials/docker-build/index.html @@ -1559,22 +1559,15 @@