Skip to content

seal5/backends/riscv_features: fix #445

seal5/backends/riscv_features: fix

seal5/backends/riscv_features: fix #445

Triggered via push November 18, 2024 13:29
Status Success
Total duration 20s
Artifacts

style.yml

on: push
Run linters
10s
Run linters
Check for License headers
4s
Check for License headers
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 1 warning
/home/runner/work/seal5/seal5/seal5/backends/riscv_features/writer.py#L58
# TODO: make util! assert isinstance(version, float) major, minor = list(map(int, f"{val:.1f}".split(".", 1))) - content_template = Template(filename=str(template_dir / f"{template_name}.mako")) - content_text = content_template.render(predicate=predicate, feature=feature, arch=arch_, description=description, major=major, minor=minor) + content_text = content_template.render( + predicate=predicate, feature=feature, arch=arch_, description=description, major=major, minor=minor + ) return content_text + "\n" def main(): """Main app entrypoint."""
seal5/backends/riscv_features/writer.py#L31
Undefined name 'LLVMSettings' (F821)
seal5/backends/riscv_features/writer.py#L61
Undefined name 'val' (F821)
seal5/backends/riscv_features/writer.py#L64
Too many blank lines (2) (E303)
seal5/backends/riscv_features/writer.py#L65
Line too long (143 > 120 characters) (E501)
seal5/model.py#L93
Line too long (131 > 120 characters) (E501)
seal5/model.py#L105
Line too long (132 > 120 characters) (E501)
seal5/transform/check_pattern_support/check.py#L21
'seal5.model' imported but unused (F401)
Run linters
The following actions use a deprecated Node.js version and will be forced to run on node20: wearerequired/lint-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/