Overrides for git repo locations #453
style.yml
on: push
Run linters
11s
Check for License headers
7s
Annotations
15 errors and 2 warnings
/home/runner/work/seal5/seal5/seal5/backends/report/times/writer.py#L109
stage_times_df = pd.DataFrame(stage_times)
if args.pass_times:
pass_times_df = pd.DataFrame(pass_times)
if args.sum_level:
- pass_times_df["pass"] = pass_times_df["pass"].apply(lambda x: ".".join(x.split(".")[:args.sum_level]))
+ pass_times_df["pass"] = pass_times_df["pass"].apply(lambda x: ".".join(x.split(".")[: args.sum_level]))
pass_times_df = pass_times_df.groupby("pass", as_index=False).agg({"start": "min", "end": "max"})
pass_times_df["time_s"] = pass_times_df["end"] - pass_times_df["start"]
times_df = pd.concat([stage_times_df, pass_times_df])
else:
times_df = stage_times_df
|
/home/runner/work/seal5/seal5/seal5/dependencies.py#L27
from git import RemoteProgress
from tqdm import tqdm
from seal5.logging import get_logger
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/cli/build.py#L45
SyntaxError: invalid syntax. Perhaps you forgot a comma? (E999)
|
/home/runner/work/seal5/seal5/seal5/dependencies.py#L45
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)
|
/home/runner/work/seal5/seal5/seal5/tools/llvm.py#L48
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/cli/install.py#L44
SyntaxError: invalid syntax. Perhaps you forgot a comma? (E999)
|
seal5/dependencies.py#L32
Block comment should start with '# ' (E265)
|
seal5/dependencies.py#L36
Expected 2 blank lines, found 1 (E302)
|
seal5/dependencies.py#L50
Expected 2 blank lines, found 1 (E302)
|
seal5/dependencies.py#L57
Missing whitespace after ':' (E231)
|
seal5/dependencies.py#L60
Missing whitespace after ',' (E231)
|
seal5/dependencies.py#L68
Expected 2 blank lines, found 1 (E302)
|
seal5/model.py#L92
Line too long (131 > 120 characters) (E501)
|
seal5/model.py#L104
Line too long (132 > 120 characters) (E501)
|
seal5/tools/llvm.py#L56
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
|