Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
1,060 workflow runs
1,060 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

inline method into decorator Ruff #1037: Commit f27dea5 pushed by schroeding
December 15, 2024 18:36 18s resources-update-core-assignment
resources-update-core-assignment
December 15, 2024 18:36 18s
Merge pull request #1137 from sosy-lab/duplicate-mounts-in-podman Ruff #1036: Commit 1a97624 pushed by PhilippWendler
December 13, 2024 08:53 16s main
main
December 13, 2024 08:53 16s
use a different deduplication strategy Ruff #1035: Pull request #1137 opened by ricffb
December 13, 2024 08:44 20s duplicate-mounts-in-podman
duplicate-mounts-in-podman
December 13, 2024 08:44 20s
use a different deduplication strategy Ruff #1034: Commit e8f344c pushed by ricffb
December 13, 2024 08:23 20s duplicate-mounts-in-podman
duplicate-mounts-in-podman
December 13, 2024 08:23 20s
Deduplicate paths from sys.path when defining Podman volumes Ruff #1033: Commit 2155689 pushed by PhilippWendler
December 12, 2024 16:34 20s main
main
December 12, 2024 16:34 20s
Merge pull request #1132 from sosy-lab/use-podman-container-when-gett… Ruff #1032: Commit f28d99c pushed by dbeyer
December 12, 2024 01:30 17s main
main
December 12, 2024 01:30 17s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1031: Pull request #1132 synchronize by ricffb
December 11, 2024 20:58 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:58 17s
improve checking of valid paths returned from the tool_info_module Ruff #1030: Commit 195dada pushed by ricffb
December 11, 2024 20:58 18s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:58 18s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1029: Pull request #1132 synchronize by ricffb
December 11, 2024 20:43 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:43 17s
remove wrong self Ruff #1028: Commit 37b3140 pushed by ricffb
December 11, 2024 20:43 23s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:43 23s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1027: Pull request #1132 synchronize by ricffb
December 11, 2024 20:32 16s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:32 16s
improve checking of valid paths returned from the tool_info_module Ruff #1026: Commit a9aa5b2 pushed by ricffb
December 11, 2024 20:32 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 20:32 17s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1025: Pull request #1132 synchronize by ricffb
December 11, 2024 15:52 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 15:52 17s
improve checking of valid paths returned from the tool_info_module Ruff #1024: Commit e49b2fe pushed by ricffb
December 11, 2024 15:52 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 15:52 17s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1023: Pull request #1132 synchronize by ricffb
December 11, 2024 14:05 18s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 14:05 18s
do not leak a Path instance into benchexec Ruff #1022: Commit 6cb2cfe pushed by ricffb
December 11, 2024 14:05 20s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 14:05 20s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1021: Pull request #1132 synchronize by ricffb
December 11, 2024 14:01 21s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 14:01 21s
report error of missing tool_directory earlier Ruff #1020: Commit 7b8d9a6 pushed by ricffb
December 11, 2024 14:01 18s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 11, 2024 14:01 18s
Implement hardening suggestion of zizmor for GitHub Actions Ruff #1019: Commit d8deb6a pushed by PhilippWendler
December 10, 2024 06:05 17s main
main
December 10, 2024 06:05 17s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1018: Pull request #1132 synchronize by ricffb
December 9, 2024 15:35 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:35 17s
use Paths, procedual style, and += for list Ruff #1017: Commit 374f90b pushed by ricffb
December 9, 2024 15:35 22s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:35 22s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1016: Pull request #1132 synchronize by ricffb
December 9, 2024 15:22 20s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 20s
use podman create, init and rm instead of run and kill Ruff #1015: Commit dde1397 pushed by ricffb
December 9, 2024 15:22 15s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 15s
Add feature to use podman container when determining version for vcloud-benchmark Ruff #1014: Pull request #1132 synchronize by ricffb
December 9, 2024 15:22 16s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 16s
use podman create, init and rm instead of run and kill Ruff #1013: Commit 2aac8ce pushed by ricffb
December 9, 2024 15:22 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 17s