update corev demo #332
PhilippvKstyle.yml
on: push
Run linters
10s
Check for License headers
6s
Annotations
8 errors and 1 warning
|
seal5/model.py#L92
Line too long (131 > 120 characters) (E501)
|
|
/home/runner/work/seal5/seal5/seal5/flow.py#L165
utils.copy(src, dest)
class Seal5Flow:
"""Seal5 Flow."""
+
def __init__(
self, directory: Optional[Path] = None, meta_dir: Optional[Union[str, Path]] = None, name: Optional[str] = None
):
self.directory: Path = handle_directory(directory)
self.meta_dir: Path = handle_meta_dir(meta_dir, directory, name)
|
|
seal5/model.py#L104
Line too long (132 > 120 characters) (E501)
|
|
seal5/transform/detect_registers.py#L39
Line too long (128 > 120 characters) (E501)
|
|
/home/runner/work/seal5/seal5/seal5/flow.py#L165
utils.copy(src, dest)
class Seal5Flow:
"""Seal5 Flow."""
+
def __init__(
self, directory: Optional[Path] = None, meta_dir: Optional[Union[str, Path]] = None, name: Optional[str] = None
):
self.directory: Path = handle_directory(directory)
self.meta_dir: Path = handle_meta_dir(meta_dir, directory, name)
|
|
seal5/model.py#L92
Line too long (131 > 120 characters) (E501)
|
|
seal5/model.py#L104
Line too long (132 > 120 characters) (E501)
|
|
seal5/transform/detect_registers.py#L39
Line too long (128 > 120 characters) (E501)
|
|
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/
|