fix: include Windows links in deployment-produced JSON

This is a second attempt at 6117abe680037824d134149b0de42f589fb24466. It seems
the previous attempt did not account for the fact that the source path of an
artifact has not yet been safely escaped into a filename and contains directory
separators (`/`). This change was made by studying the last deploy.py execution
logs and making a best guess. There is no easy way to test this other than
running the release deployment process, so we should do one soon to validate
this.

Gitlab: fixes #1979 (I hope)

diff --git a/ci/deploy.py b/ci/deploy.py
index c2a989bb5563e235ebadc81ab8d2bd3a2b9f99b2..20cabda8bb73a86245f829a861c4e6693acf161b 100644 (file)
--- a/ci/deploy.py
+++ b/ci/deploy.py
@@ -222,8 +222,8 @@ def main(args: List[str]) -> int: # pylint: disable=missing-function-docstring
         webentry[c.suffix[1:]] = url
 
       # only expose a subset of the Windows artifacts
-      if "windows_10_cmake_Release" in str(path) or \
-         "windows_10_msbuild_Release" in str(path):
+      if "/windows/10/cmake/Release/" in str(path) or \
+         "/windows/10/msbuild/Release/" in str(path):
         webdata["windows"].append(webentry)
 
   # various release pages truncate the viewable artifacts to 100 or even 50