Try to fix github workflow #4

christoph2 · Oct 4, 2024 · 4f1505a · 4f1505a
1 parent a77b1f8
commit 4f1505a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 52 deletions.
diff --git a/build_ext.py b/build_ext.py
@@ -9,7 +9,7 @@
 import sysconfig
 from pathlib import Path
 from tempfile import TemporaryDirectory
-from typing import Optional, Tuple
+from typing import List, Optional, Tuple
 
 
 TOP_DIR = Path(__file__).parent
@@ -94,7 +94,7 @@ def sort_by_version(version: str) -> Tuple[int]:
     return int(h), int(m), int(s)
 
 
-def fetch_tags(repo: str) -> list[str]:
+def fetch_tags(repo: str) -> List[str]:
     res = subprocess.run(["git", "ls-remote", "--tags", repo], shell=False, capture_output=True, text=True)  # nosec
     if res.returncode == 0:
         return []

diff --git a/install_antlr.py b/install_antlr.py