CI: wiki: rename Non-booting_devices to Non-booting

Someone had fun with the wiki.
2021-11-28 15:27:38 +01:00
1 changed files with 1 additions and 1 deletions
@@ -45,7 +45,7 @@ def get_wiki_devices_html(path):
        content = urllib.request.urlopen(url).read().decode("utf-8")

    # Split into booting and not booting
-    split = content.split("<span class=\"mw-headline\" id=\"Non-booting_devices\">")
+    split = content.split("<span class=\"mw-headline\" id=\"Non-booting\">")

    if len(split) != 2:
        print("*** Failed to parse wiki page")