CI: call Windows ZIP artifact 'archive' not 'installer'

This is what the website’s JSON has always called this artifact, but a mistake
in 32b91edef64d1c726c88c7a7d6e68239399cc358 labelled this 'installer' instead.

diff --git a/ci/deploy.py b/ci/deploy.py
index 28a660d02df70f34220b3018676a4249a65351d3..d4a6475825dc75ab147eaaecc98d9f08b4bd8820 100644 (file)
--- a/ci/deploy.py
+++ b/ci/deploy.py
@@ -88,7 +88,7 @@ def get_format(path: Path) -> str:
   if path.suffix[1:].lower() == "exe":
     return "EXE installer"
   if path.suffix[1:].lower() == "zip":
-    return "ZIP installer"
+    return "ZIP archive"
   return path.suffix[1:].lower()
 
 def main(args: List[str]) -> int: # pylint: disable=missing-function-docstring