[CI] .github/workflows/seal5_build.yml: fixes #422
PhilippvKstyle.yml
on: push
Run linters
11s
Check for License headers
5s
Annotations
6 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)
|
|
seal5/model.py#L92
Line too long (131 > 120 characters) (E501)
|
|
seal5/model.py#L104
Line too long (132 > 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
|
|
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/
|