Skip to content

Actions: sneeuwballen/benchpress

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unecessary result library
build #318: Commit 7f44cdd pushed by c-cube
September 13, 2024 17:33 6m 55s master
September 13, 2024 17:33 6m 55s
Removes unecessary result library
build #317: Pull request #78 opened by filipeom
September 13, 2024 16:42 6m 28s filipeom:remove-result-lib
September 13, 2024 16:42 6m 28s
Remove missing license warning when pinning with opam
build #316: Pull request #77 synchronize by filipeom
September 13, 2024 16:24 3m 15s filipeom:remove-pin-warning
September 13, 2024 16:24 3m 15s
Remove missing license warning when pinning with opam
build #314: Pull request #77 synchronize by filipeom
September 12, 2024 23:52 3m 24s filipeom:remove-pin-warning
September 12, 2024 23:52 3m 24s
Remove missing license warning when pinning with opam
build #313: Pull request #77 opened by filipeom
September 12, 2024 20:10 6m 12s filipeom:remove-pin-warning
September 12, 2024 20:10 6m 12s
[compare2] Add total time for problems solved by both provers
build #312: Commit 1985ba4 pushed by c-cube
May 24, 2024 13:51 6m 26s master
May 24, 2024 13:51 6m 26s
Merge pull request #75 from bclement-ocp/bclement/comparesat
build #310: Commit e58ee3d pushed by c-cube
April 3, 2024 14:11 6m 27s master
April 3, 2024 14:11 6m 27s
Merge pull request #74 from sneeuwballen/wip-prometheus
build #307: Commit 2cbd334 pushed by c-cube
January 29, 2024 00:58 6m 16s master
January 29, 2024 00:58 6m 16s
add prometheus, simplify server logging
build #306: Pull request #74 synchronize by c-cube
January 24, 2024 03:17 3m 24s wip-prometheus
January 24, 2024 03:17 3m 24s
add prometheus, simplify server logging
build #305: Pull request #74 synchronize by c-cube
January 24, 2024 03:00 1m 52s wip-prometheus
January 24, 2024 03:00 1m 52s
add prometheus, simplify server logging
build #304: Pull request #74 synchronize by c-cube
January 24, 2024 02:55 1m 53s wip-prometheus
January 24, 2024 02:55 1m 53s
add prometheus, simplify server logging
build #303: Pull request #74 synchronize by c-cube
January 24, 2024 02:44 1m 57s wip-prometheus
January 24, 2024 02:44 1m 57s
add prometheus, simplify server logging
build #302: Pull request #74 synchronize by c-cube
January 23, 2024 02:10 1m 52s wip-prometheus
January 23, 2024 02:10 1m 52s
add prometheus, simplify server logging
build #301: Pull request #74 synchronize by c-cube
January 23, 2024 02:00 1m 57s wip-prometheus
January 23, 2024 02:00 1m 57s
add prometheus, simplify server logging
build #300: Pull request #74 synchronize by c-cube
January 23, 2024 01:59 1m 46s wip-prometheus
January 23, 2024 01:59 1m 46s
add prometheus, simplify server logging
build #299: Pull request #74 opened by c-cube
January 23, 2024 01:52 4m 46s wip-prometheus
January 23, 2024 01:52 4m 46s
faster CI
build #298: Commit 0ab7f22 pushed by c-cube
December 7, 2023 05:30 2m 54s master
December 7, 2023 05:30 2m 54s
Merge pull request #73 from Halbaroth/statistics
build #297: Commit febf75b pushed by c-cube
October 26, 2023 01:47 13m 52s master
October 26, 2023 01:47 13m 52s
Add detailed statistics for the subcommand show
build #296: Pull request #73 synchronize by Halbaroth
October 25, 2023 21:12 12m 50s Halbaroth:statistics
October 25, 2023 21:12 12m 50s
Add detailed statistics for the subcommand show
build #295: Pull request #73 synchronize by Halbaroth
October 25, 2023 12:04 8m 4s Halbaroth:statistics
October 25, 2023 12:04 8m 4s
Add detailed statistics for the subcommand show
build #294: Pull request #73 synchronize by Halbaroth
October 9, 2023 06:47 6m 13s Halbaroth:statistics
October 9, 2023 06:47 6m 13s
Add detailed statistics for the subcommand show
build #293: Pull request #73 synchronize by Halbaroth
October 9, 2023 06:10 5m 59s Halbaroth:statistics
October 9, 2023 06:10 5m 59s