Remove now undeeded github wiki page autoupdate

Now that we publish our documentation on sphinx, this sync is not needed anymore.
ubuntu · Nov 16, 2023 · f6f819b · f6f819b
1 parent c91ff6b
commit f6f819b
Showing 1 changed file with 0 additions and 70 deletions.
diff --git a/.github/workflows/documentation-update.yaml b/.github/workflows/documentation-update.yaml