Skip to content

ci: fix .github/workflows/seal5_build.yml #140

ci: fix .github/workflows/seal5_build.yml

ci: fix .github/workflows/seal5_build.yml #140

Triggered via push November 7, 2024 15:46
Status Success
Total duration 1m 12s
Artifacts 1

docs.yml

on: push
Matrix: docs
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size
html-docs
7.72 MB