Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
973 workflow runs
973 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
Merge branch 'main' into resources-update-core-assignment Ruff #969: Commit 93199de pushed by schroeding
December 1, 2024 18:24 16s resources-update-core-assignment
resources-update-core-assignment
December 1, 2024 18:24 16s
Implemented array-job-based SLURM integration, deprecated old version Ruff #968: Pull request #1130 synchronize by leventeBajczi
November 30, 2024 14:03 18s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 30, 2024 14:03 18s
Implemented array-job-based SLURM integration, deprecated old version Ruff #967: Pull request #1130 synchronize by leventeBajczi
November 28, 2024 13:40 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 28, 2024 13:40 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #966: Pull request #1130 synchronize by leventeBajczi
November 28, 2024 13:24 23s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 28, 2024 13:24 23s
Implemented array-job-based SLURM integration, deprecated old version Ruff #965: Pull request #1130 synchronize by leventeBajczi
November 28, 2024 12:16 24s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 28, 2024 12:16 24s
Implemented array-job-based SLURM integration, deprecated old version Ruff #964: Pull request #1130 synchronize by leventeBajczi
November 28, 2024 11:41 16s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 28, 2024 11:41 16s
Implemented array-job-based SLURM integration, deprecated old version Ruff #963: Pull request #1130 synchronize by leventeBajczi
November 28, 2024 11:36 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 28, 2024 11:36 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #962: Pull request #1130 synchronize by leventeBajczi
November 26, 2024 10:40 21s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 26, 2024 10:40 21s
Implemented array-job-based SLURM integration, deprecated old version Ruff #961: Pull request #1130 synchronize by leventeBajczi
November 26, 2024 09:53 16s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 26, 2024 09:53 16s
Implemented array-job-based SLURM integration, deprecated old version Ruff #960: Pull request #1130 synchronize by leventeBajczi
November 26, 2024 09:23 17s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 26, 2024 09:23 17s
Implemented array-job-based SLURM integration, deprecated old version Ruff #959: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 21:52 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 21:52 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #958: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 16:09 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 16:09 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #957: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 16:05 18s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 16:05 18s
Implemented array-job-based SLURM integration, deprecated old version Ruff #956: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 16:01 21s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 16:01 21s
Implemented array-job-based SLURM integration, deprecated old version Ruff #955: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 15:58 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 15:58 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #954: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 15:50 19s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 15:50 19s
Implemented array-job-based SLURM integration, deprecated old version Ruff #953: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 15:46 16s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 15:46 16s
Implemented array-job-based SLURM integration, deprecated old version Ruff #952: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 15:29 18s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 15:29 18s
Implemented array-job-based SLURM integration, deprecated old version Ruff #951: Pull request #1130 synchronize by leventeBajczi
November 25, 2024 15:22 21s leventeBajczi:slurm-array-aggregate
leventeBajczi:slurm-array-aggregate
November 25, 2024 15:22 21s