Skip to content
Lint

Merge pull request #142 from tum-ei-eda/develop #421

Sign in to view logs

Merge pull request #142 from tum-ei-eda/develop

Merge pull request #142 from tum-ei-eda/develop #421

Triggered via push November 7, 2024 11:02
@PhilippvKPhilippvK
pushed 3bb6032
main
Status Success
Total duration 18s
Artifacts –

style.yml

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

Annotations

3 errors and 1 warning
seal5/model.py#L92
Line too long (131 > 120 characters) (E501)
/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
seal5/model.py#L104
Line too long (132 > 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/