define git actor for repo.create_tag command (fix) #53
PhilippvKstyle.yml
on: push
Run linters
13s
Check for License headers
7s
Annotations
11 errors and 3 warnings
|
seal5/backends/riscv_features/writer.py#L27
Line too long (133 > 120 characters) (E501)
|
|
seal5/backends/riscv_features/writer.py#L29
Line too long (150 > 120 characters) (E501)
|
|
/home/runner/work/seal5/seal5/seal5/flow.py#L161
("collect_immediate_operands", passes.collect_immediate_operands, {}),
("collect_operand_types", passes.collect_operand_types, {}),
("detect_side_effects", passes.detect_side_effects, {}),
("detect_inouts", passes.detect_inouts, {}),
("detect_registers", passes.detect_registers, {}),
- ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False})
+ ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}),
# TODO: determine static constraints (xlen,...) -> subtargetvmap
# detect memory adressing modes
# self.detect_adressing_modes(verbose) # TODO
# detect legal GMIR ops (and map to selectiondag?)
# self.detect_legal_ops(verbose=verbose) # TODO
|
|
seal5/flow.py#L238
Line too long (123 > 120 characters) (E501)
|
|
/home/runner/work/seal5/seal5/seal5/flow.py#L233
self.directory, clone_url, ref=clone_ref, label=self.name, git_settings=self.settings.git
)
else:
if force:
self.repo, sha, version_info = llvm.clone_llvm_repo(
- self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name, git_settings=self.settings.git
+ self.directory,
+ clone_url,
+ ref=clone_ref,
+ refresh=True,
+ label=self.name,
+ git_settings=self.settings.git,
)
if self.settings.meta_dir.is_dir():
if force is False and not utils.ask_user(
"Overwrite existing .seal5 diretcory?", default=False, interactive=interactive
):
|
|
seal5/frontends/coredsl2_seal5/architecture_model_builder.py#L273
Whitespace before ':' (E203)
|
|
seal5/frontends/coredsl2_seal5/behavior_model_builder.py#L340
Whitespace before ':' (E203)
|
|
seal5/resources/lit.cfg.py#L7
'lit.llvm.llvm_config' imported but unused (F401)
|
|
seal5/resources/lit.cfg.py#L10
Undefined name 'config' (F821)
|
|
seal5/resources/lit.cfg.py#L14
Undefined name 'config' (F821)
|
|
seal5/resources/lit.cfg.py#L18
Undefined name 'config' (F821)
|
|
Check for License headers
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Run linters
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, wearerequired/lint-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Run linters
The following actions uses node12 which is deprecated and will be forced to run on node16: wearerequired/lint-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|