CI: fix parsing wiki page (!814)

This commit is contained in:
Daniele Debernardi 2019-12-21 03:09:33 +01:00
parent d3bc799fd2
commit 3c43c503ee
No known key found for this signature in database
GPG Key ID: 5AE7F5513E0885CB

View File

@ -37,7 +37,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=\"Not_booting\">")
split = content.split("<span class=\"mw-headline\" id=\"Non-booting_devices\">")
if len(split) != 2:
print("*** Failed to parse wiki page")