Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding tool-info for Sikraken Ruff #680: Pull request #1079 synchronize by echancrure
October 8, 2024 15:34 17s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:34 17s
adding tool-info for Sikraken Ruff #679: Pull request #1079 synchronize by echancrure
October 8, 2024 15:25 17s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:25 17s
adding tool-info for Sikraken Ruff #678: Pull request #1079 synchronize by echancrure
October 8, 2024 15:17 23s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:17 23s
Fix development installation on Windows Ruff #677: Commit 7b04ac9 pushed by PhilippWendler
October 8, 2024 09:34 16s main
main
October 8, 2024 09:34 16s
Fix development installation on Windows Ruff #676: Commit 7b04ac9 pushed by PhilippWendler
October 8, 2024 09:23 17s fix-dev-dependencies-on-Windows
fix-dev-dependencies-on-Windows
October 8, 2024 09:23 17s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #675: Pull request #892 synchronize by schroeding
October 6, 2024 20:20 17s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:20 17s
fix unnecessary import Ruff #674: Commit 4073a2b pushed by schroeding
October 6, 2024 20:20 19s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:20 19s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #673: Pull request #892 synchronize by schroeding
October 6, 2024 20:14 19s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:14 19s
replace layer generation code Ruff #672: Commit cab9c90 pushed by schroeding
October 6, 2024 20:14 17s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:14 17s
adding tool-info for Sikraken Ruff #671: Pull request #1079 opened by echancrure
October 6, 2024 18:24 18s echancrure:sikraken
echancrure:sikraken
October 6, 2024 18:24 18s
Draft: Update core assignment algorithm in benchexec/resources.py Ruff #670: Pull request #892 synchronize by schroeding
September 22, 2024 19:19 20s resources-update-core-assignment
resources-update-core-assignment
September 22, 2024 19:19 20s
added more flexible way to to generate layer data for tests Ruff #669: Commit 2cc163b pushed by schroeding
September 22, 2024 19:19 18s resources-update-core-assignment
resources-update-core-assignment
September 22, 2024 19:19 18s
Disable some tests during build of Debian package Ruff #668: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 21s main
main
September 20, 2024 13:08 21s
Prepare version number for next development cycle. Ruff #667: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 22s main
main
September 20, 2024 12:17 22s
Ruff Ruff #666: by PhilippWendler
September 20, 2024 12:15 19s 3.25
3.25
September 20, 2024 12:15 19s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… Ruff #665: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 20s main
main
September 20, 2024 10:42 20s
Overlay handling with fuse-overlayfs Ruff #664: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 19s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 19s
Detect and error out if temp is not hidden and we use fuse-overlayfs Ruff #663: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 23s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 23s
Overlay handling with fuse-overlayfs Ruff #662: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 07:59 16s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 07:59 16s
Change internal paths used for fuse-overlayfs mounts Ruff #661: Commit ea92000 pushed by PhilippWendler
September 19, 2024 07:59 19s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 07:59 19s
Handle validation tasks inside CPAchecker Ruff #660: Pull request #1078 synchronize by marian-lingsch
September 18, 2024 10:47 19s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 10:47 19s
Enforce that there is only a single non-witness file in CPAWitness2Test Ruff #659: Commit 0b0a650 pushed by marian-lingsch
September 18, 2024 10:47 20s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 10:47 20s
Handle validation tasks inside CPAchecker Ruff #658: Pull request #1078 synchronize by marian-lingsch
September 18, 2024 09:13 21s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 09:13 21s
Filter the input files in CPA-witness2test such that the witness is n… Ruff #657: Commit 6b2349b pushed by marian-lingsch
September 18, 2024 09:13 21s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 09:13 21s
Handle validation tasks inside CPAchecker Ruff #656: Pull request #1078 synchronize by marian-lingsch
September 17, 2024 08:35 18s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 17, 2024 08:35 18s