Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,935 workflow runs
3,935 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Error counts in generated table summary tab #974 Check code format #1065: Pull request #1143 synchronize by Mamatha1718
January 25, 2025 06:07 20s Mamatha1718:table-summary
Mamatha1718:table-summary
January 25, 2025 06:07 20s
Error counts in generated table summary tab #974 JavaScript Pipeline #745: Pull request #1143 synchronize by Mamatha1718
January 25, 2025 06:07 1m 7s Mamatha1718:table-summary
Mamatha1718:table-summary
January 25, 2025 06:07 1m 7s
Error counts in generated table summary tab #974 Ruff #1065: Pull request #1143 synchronize by Mamatha1718
January 25, 2025 06:07 18s Mamatha1718:table-summary
Mamatha1718:table-summary
January 25, 2025 06:07 18s
Error counts in generated table summary tab #974 REUSE Compliance Check #1065: Pull request #1143 synchronize by Mamatha1718
January 25, 2025 06:07 24s Mamatha1718:table-summary
Mamatha1718:table-summary
January 25, 2025 06:07 24s
Error counts in generated table summary tab #974 REUSE Compliance Check #1064: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:31 19s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:31 19s
Error counts in generated table summary tab #974 Ruff #1064: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:31 20s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:31 20s
Error counts in generated table summary tab #974 Check code format #1064: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:31 24s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:31 24s
Error counts in generated table summary tab #974 JavaScript Pipeline #744: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:31 1m 10s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:31 1m 10s
Error counts in generated table summary tab #974 JavaScript Pipeline #743: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:24 1m 12s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:24 1m 12s
Error counts in generated table summary tab #974 Check code format #1063: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:24 22s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:24 22s
Error counts in generated table summary tab #974 Ruff #1063: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:24 18s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:24 18s
Error counts in generated table summary tab #974 REUSE Compliance Check #1063: Pull request #1143 synchronize by Mamatha1718
January 24, 2025 18:24 21s Mamatha1718:table-summary
Mamatha1718:table-summary
January 24, 2025 18:24 21s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #1062: Pull request #892 synchronize by schroeding
January 19, 2025 22:59 23s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 23s
Draft: Update core assignment algorithm in benchexec/resources.py JavaScript Pipeline #742: Pull request #892 synchronize by schroeding
January 19, 2025 22:59 1m 18s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 1m 18s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #1062: Pull request #892 synchronize by schroeding
January 19, 2025 22:59 21s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 21s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #1062: Pull request #892 synchronize by schroeding
January 19, 2025 22:59 15s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 15s
use meaningful and pythonic variable names Ruff #1061: Commit afb1c2d pushed by schroeding
January 19, 2025 22:59 19s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 19s
use meaningful and pythonic variable names Check code format #1061: Commit afb1c2d pushed by schroeding
January 19, 2025 22:59 21s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 21s
use meaningful and pythonic variable names JavaScript Pipeline #741: Commit afb1c2d pushed by schroeding
January 19, 2025 22:59 1m 10s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 1m 10s
use meaningful and pythonic variable names REUSE Compliance Check #1061: Commit afb1c2d pushed by schroeding
January 19, 2025 22:59 18s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 18s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #1060: Pull request #892 synchronize by schroeding
January 12, 2025 22:44 18s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 18s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #1060: Pull request #892 synchronize by schroeding
January 12, 2025 22:44 21s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 21s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #1060: Pull request #892 synchronize by schroeding
January 12, 2025 22:44 23s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 23s
Draft: Update core assignment algorithm in benchexec/resources.py JavaScript Pipeline #740: Pull request #892 synchronize by schroeding
January 12, 2025 22:44 1m 12s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 1m 12s
create auxillary function to refactor while loop JavaScript Pipeline #739: Commit 24a9afc pushed by schroeding
January 12, 2025 22:44 1m 13s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 1m 13s