Browse Source

ci: remove special characters from log filename

ci: remove special characters from log filename

Pull Request resolved: #271
Nikita Kozlovskiy 1 year ago
parent
commit
70d280ea06
1 changed files with 2 additions and 0 deletions
  1. 2 0
      .github/scripts/tests/attach-logs.py

+ 2 - 0
.github/scripts/tests/attach-logs.py

@@ -17,6 +17,8 @@ fn_shard_part_re = re.compile(r"-\d+$")
 def make_filename(n, *parts):
     fn = f'{"-".join(parts)}'
 
+    fn = re.sub(r"[^\w_-]", "", fn)
+
     if n > 0:
         fn = f"{fn}-{n}"