Skip to content

Report max RSS and CPU usage in index summary#241

Merged
jupblb merged 2 commits intomainfrom
michal/resource
Apr 29, 2026
Merged

Report max RSS and CPU usage in index summary#241
jupblb merged 2 commits intomainfrom
michal/resource

Conversation

@jupblb
Copy link
Copy Markdown
Collaborator

@jupblb jupblb commented Apr 29, 2026

Wrap the indexer invocation in /usr/bin/time -v and dump the relevant lines to the GitHub step summary.

In the case of this particular PR you can see the data in the workflow summary here: https://github.com/scip-code/scip-go/actions/runs/25102504656?pr=241 (requires scrolling down).

I've also disabled Nix cache summaries as I do not find them very useful and they clutter the output.

jupblb added 2 commits April 29, 2026 11:42
Wrap the indexer invocation in /usr/bin/time -v and dump the relevant
lines (max RSS, user/system CPU time, %CPU) to the GitHub step summary
so each matrix entry's resource usage is visible from the job page.
The installer action's Mermaid build-timeline summary was crowding out
the per-target resource-usage summaries on the workflow run page. Job
summaries are ordered by completion time and we can't put ours first,
so disable the installer's contribution instead. Build-failure details
are still in the job log.
@jupblb jupblb requested a review from trly April 29, 2026 10:06
@jupblb jupblb enabled auto-merge (squash) April 29, 2026 10:06
@jupblb jupblb merged commit 6fc74f1 into main Apr 29, 2026
10 checks passed
@jupblb jupblb deleted the michal/resource branch April 29, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants