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

Only sepparate the witness files from other input files once Ruff #655: Commit 658418a pushed by marian-lingsch
September 17, 2024 08:35 17s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 17, 2024 08:35 17s
Handle validation tasks inside CPAchecker Ruff #654: Pull request #1078 opened by marian-lingsch
September 16, 2024 16:32 20s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 16, 2024 16:32 20s
Fix warnings from ruff Ruff #653: Commit f8a98b9 pushed by marian-lingsch
September 16, 2024 12:46 24s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 16, 2024 12:46 24s
Handle task definition files, where the witness is given as input fil… Ruff #652: Commit 754d0d3 pushed by marian-lingsch
September 16, 2024 12:40 19s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 16, 2024 12:40 19s
Overlay handling with fuse-overlayfs Ruff #651: Pull request #1062 synchronize by younghojan
September 15, 2024 02:56 22s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:56 22s
Refactor handling of COV_CORE_SOURCE environment variable in TestRunE… Ruff #650: Commit 1c49af2 pushed by younghojan
September 15, 2024 02:56 20s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:56 20s
Overlay handling with fuse-overlayfs Ruff #649: Pull request #1062 synchronize by younghojan
September 15, 2024 02:55 21s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:55 21s
Fix typo Ruff #648: Commit 2f9d52e pushed by younghojan
September 15, 2024 02:55 16s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:55 16s
Overlay handling with fuse-overlayfs Ruff #647: Pull request #1062 synchronize by younghojan
September 5, 2024 11:08 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 11:08 18s
Refactor overlay mount error handling for better compatibility Ruff #646: Commit 88db419 pushed by younghojan
September 5, 2024 11:08 17s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 11:08 17s
Overlay handling with fuse-overlayfs Ruff #645: Pull request #1062 synchronize by younghojan
September 5, 2024 06:55 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:55 18s
Refactor file handling in test_runexecutor.py for better readability Ruff #644: Commit 2fd26ff pushed by younghojan
September 5, 2024 06:55 16s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:55 16s
Overlay handling with fuse-overlayfs Ruff #643: Pull request #1062 synchronize by younghojan
September 5, 2024 06:54 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:54 18s
Refactor determine_directory_mode function for fuse-overlayfs compati… Ruff #642: Commit 34f57f1 pushed by younghojan
September 5, 2024 06:54 20s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:54 20s
Overlay handling with fuse-overlayfs Ruff #641: Pull request #1062 synchronize by younghojan
September 5, 2024 05:49 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 05:49 18s
Safely encode string for fuse-overlayfs paths Ruff #640: Commit a8a3516 pushed by younghojan
September 5, 2024 05:49 20s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 05:49 20s
Overlay handling with fuse-overlayfs Ruff #639: Pull request #1062 synchronize by younghojan
September 4, 2024 09:42 19s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 09:42 19s
Refactor COV_CORE_SOURCE environment variable handling Ruff #638: Commit 5d2a349 pushed by younghojan
September 4, 2024 09:42 17s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 09:42 17s
Overlay handling with fuse-overlayfs Ruff #637: Pull request #1062 synchronize by younghojan
September 4, 2024 09:39 23s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 09:39 23s
Refactor COV_CORE_SOURCE environment variable handling Ruff #636: Commit 5c0d46f pushed by younghojan
September 4, 2024 09:39 22s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 09:39 22s
Overlay handling with fuse-overlayfs Ruff #635: Pull request #1062 synchronize by younghojan
September 4, 2024 06:37 5m 23s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 06:37 5m 23s
Omit test_triple_nested_runexec when coverage testing Ruff #634: Commit 38a0508 pushed by younghojan
September 4, 2024 06:37 5m 36s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 4, 2024 06:37 5m 36s
Overlay handling with fuse-overlayfs Ruff #633: Pull request #1062 synchronize by younghojan
September 2, 2024 11:49 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 2, 2024 11:49 18s
Refactor and improve fuse-overlay related tests Ruff #632: Commit b63db00 pushed by younghojan
September 2, 2024 11:49 17s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 2, 2024 11:49 17s
Update contributors Ruff #631: Commit 3ddb913 pushed by PhilippWendler
September 2, 2024 07:22 16s main
main
September 2, 2024 07:22 16s