Skip to content

Actions: hra687261/benchpress

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[compare2] Add total time for problems solved by both provers build #12: Commit 1985ba4 pushed by hra687261
July 15, 2024 13:41 6m 22s master
master
July 15, 2024 13:41 6m 22s
Merge pull request #74 from sneeuwballen/wip-prometheus build #11: Commit 2cbd334 pushed by hra687261
January 30, 2024 14:26 3m 21s master
master
January 30, 2024 14:26 3m 21s
faster CI build #10: Commit 0ab7f22 pushed by hra687261
January 27, 2024 21:03 6m 6s master
master
January 27, 2024 21:03 6m 6s