Skip to content

Actions: sosy-lab/benchexec

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implemented array-job-based SLURM integration, deprecated old version REUSE Compliance Check #975: Pull request #1130 synchronize by leventeBajczi
December 2, 2024 15:42 20s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
December 2, 2024 15:42 20s
Implemented array-job-based SLURM integration, deprecated old version Ruff #975: Pull request #1130 synchronize by leventeBajczi
December 2, 2024 15:42 16s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
December 2, 2024 15:42 16s
Implemented array-job-based SLURM integration, deprecated old version Check code format #975: Pull request #1130 synchronize by leventeBajczi
December 2, 2024 15:42 24s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
December 2, 2024 15:42 24s
Implemented array-job-based SLURM integration, deprecated old version JavaScript Pipeline #655: Pull request #1130 synchronize by leventeBajczi
December 2, 2024 15:42 1m 14s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
December 2, 2024 15:42 1m 14s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #974: Pull request #892 synchronize by schroeding
December 2, 2024 07:51 28s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 28s
Draft: Update core assignment algorithm in benchexec/resources.py JavaScript Pipeline #654: Pull request #892 synchronize by schroeding
December 2, 2024 07:51 1m 27s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 1m 27s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #974: Pull request #892 synchronize by schroeding
December 2, 2024 07:51 28s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 28s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #974: Pull request #892 synchronize by schroeding
December 2, 2024 07:51 33s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 33s
remove typehint which is incompatible with python < 3.10 Check code format #973: Commit e7c3b0a pushed by schroeding
December 2, 2024 07:51 34s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 34s
remove typehint which is incompatible with python < 3.10 Ruff #973: Commit e7c3b0a pushed by schroeding
December 2, 2024 07:51 24s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 24s
remove typehint which is incompatible with python < 3.10 JavaScript Pipeline #653: Commit e7c3b0a pushed by schroeding
December 2, 2024 07:51 1m 22s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 1m 22s
remove typehint which is incompatible with python < 3.10 REUSE Compliance Check #973: Commit e7c3b0a pushed by schroeding
December 2, 2024 07:51 25s resources-update-core-assignment
resources-update-core-assignment
December 2, 2024 07:51 25s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #972: Pull request #892 synchronize by schroeding
December 1, 2024 18:38 21s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 21s
Draft: Update core assignment algorithm in benchexec/resources.py JavaScript Pipeline #652: Pull request #892 synchronize by schroeding
December 1, 2024 18:38 1m 8s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 1m 8s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #972: Pull request #892 synchronize by schroeding
December 1, 2024 18:38 19s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 19s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #972: Pull request #892 synchronize by schroeding
December 1, 2024 18:38 17s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 17s
fixed wrong type hint Check code format #971: Commit 9b5b96f pushed by schroeding
December 1, 2024 18:38 20s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 20s
fixed wrong type hint Ruff #971: Commit 9b5b96f pushed by schroeding
December 1, 2024 18:38 17s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 17s
fixed wrong type hint JavaScript Pipeline #651: Commit 9b5b96f pushed by schroeding
December 1, 2024 18:38 1m 19s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 1m 19s
fixed wrong type hint REUSE Compliance Check #971: Commit 9b5b96f pushed by schroeding
December 1, 2024 18:38 17s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:38 17s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #970: Pull request #892 synchronize by schroeding
December 1, 2024 18:24 21s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 21s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #970: Pull request #892 synchronize by schroeding
December 1, 2024 18:24 21s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 21s
Draft: Update core assignment algorithm in benchexec/resources.py JavaScript Pipeline #650: Pull request #892 synchronize by schroeding
December 1, 2024 18:24 1m 23s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 1m 23s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #970: Pull request #892 synchronize by schroeding
December 1, 2024 18:24 19s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 19s
Merge branch 'main' into resources-update-core-assignment JavaScript Pipeline #649: Commit 93199de pushed by schroeding
December 1, 2024 18:24 1m 19s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 1m 19s