Overrides for git repo locations #461
style.yml
on: push
Run linters
9s
Check for License headers
4s
Annotations
10 errors and 2 warnings
seal5/dependencies.py#L33
Block comment should start with '# ' (E265)
|
/home/runner/work/seal5/seal5/seal5/dependencies.py#L28
from tqdm import tqdm
from seal5.logging import get_logger
from seal5.settings import LLVMVersion
from seal5.utils import is_populated
-#from .tools.llvm import CloneProgress # TODO: move to other file
+
+# from .tools.llvm import CloneProgress # TODO: move to other file
logger = get_logger()
+
class CloneProgress(RemoteProgress):
def __init__(self):
super().__init__()
self.pbar = tqdm()
|
seal5/dependencies.py#L37
Expected 2 blank lines, found 1 (E302)
|
seal5/dependencies.py#L51
Expected 2 blank lines, found 1 (E302)
|
/home/runner/work/seal5/seal5/seal5/dependencies.py#L46
class Dependency:
pass
+
class SubstituteRepoURL:
def __init__(self):
self.repo_map = {}
- for (var, val) in os.environ.items():
- if var[:9] == 'REPO_URL_':
+ for var, val in os.environ.items():
+ if var[:9] == "REPO_URL_":
self.repo_map[var[9:]] = val
- def url(self, url:str):
+ def url(self, url: str):
# substitute shell-incompatible chars in url
- key = re.sub('[-#?.,/]', '_', url)
- for (var,val) in self.repo_map.items():
+ key = re.sub("[-#?.,/]", "_", url)
+ for var, val in self.repo_map.items():
if key.find(var) >= 0:
return val
return url
substitute_repo_url = SubstituteRepoURL()
+
def apply_repository_override(url: str):
return substitute_repo_url.url(url)
|
seal5/dependencies.py#L58
Missing whitespace after ':' (E231)
|
/home/runner/work/seal5/seal5/seal5/tools/llvm.py#L58
if len(dirty) > 0:
logger.debug("Dirty files in LLVM repository: %s", ", ".join(dirty))
return False
return True
-
def clone_llvm_repo(
dest: Path,
clone_url: str,
|
seal5/dependencies.py#L61
Missing whitespace after ',' (E231)
|
seal5/dependencies.py#L69
Expected 2 blank lines, found 1 (E302)
|
seal5/tools/llvm.py#L66
Too many blank lines (3) (E303)
|
Check for License headers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Run linters
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|