Skip to content

Actions: sosy-lab/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
668 workflow runs
668 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable some tests during build of Debian package REUSE Compliance Check #668: Commit fae2bf9 pushed by PhilippWendler
September 20, 2024 13:08 22s main
main
September 20, 2024 13:08 22s
Prepare version number for next development cycle. REUSE Compliance Check #667: Commit ae57550 pushed by PhilippWendler
September 20, 2024 12:17 24s main
main
September 20, 2024 12:17 24s
REUSE Compliance Check REUSE Compliance Check #666: by PhilippWendler
September 20, 2024 12:15 22s 3.25
3.25
September 20, 2024 12:15 22s
Merge pull request #1062 from sosy-lab/gsoc-overlay-handling-with-fus… REUSE Compliance Check #665: Commit 108ff5a pushed by PhilippWendler
September 20, 2024 10:42 22s main
main
September 20, 2024 10:42 22s
Overlay handling with fuse-overlayfs REUSE Compliance Check #664: Pull request #1062 synchronize by PhilippWendler
September 19, 2024 09:01 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 18s
Detect and error out if temp is not hidden and we use fuse-overlayfs REUSE Compliance Check #663: Commit 33249f1 pushed by PhilippWendler
September 19, 2024 09:01 25s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 09:01 25s
Overlay handling with fuse-overlayfs REUSE Compliance Check #662: Pull request #1062 synchronize 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
Change internal paths used for fuse-overlayfs mounts REUSE Compliance Check #661: Commit ea92000 pushed by PhilippWendler
September 19, 2024 07:59 24s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 19, 2024 07:59 24s
Handle validation tasks inside CPAchecker REUSE Compliance Check #660: Pull request #1078 synchronize by marian-lingsch
September 18, 2024 10:47 21s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 10:47 21s
Enforce that there is only a single non-witness file in CPAWitness2Test REUSE Compliance Check #659: Commit 0b0a650 pushed by marian-lingsch
September 18, 2024 10:47 24s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 10:47 24s
Handle validation tasks inside CPAchecker REUSE Compliance Check #658: Pull request #1078 synchronize by marian-lingsch
September 18, 2024 09:13 23s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 18, 2024 09:13 23s
Filter the input files in CPA-witness2test such that the witness is n… REUSE Compliance Check #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 REUSE Compliance Check #656: Pull request #1078 synchronize by marian-lingsch
September 17, 2024 08:35 23s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 17, 2024 08:35 23s
Only sepparate the witness files from other input files once REUSE Compliance Check #655: Commit 658418a pushed by marian-lingsch
September 17, 2024 08:35 21s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 17, 2024 08:35 21s
Handle validation tasks inside CPAchecker REUSE Compliance Check #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 REUSE Compliance Check #653: Commit f8a98b9 pushed by marian-lingsch
September 16, 2024 12:46 19s cpachecker-validator-witness-task-definitions
cpachecker-validator-witness-task-definitions
September 16, 2024 12:46 19s
Handle task definition files, where the witness is given as input fil… REUSE Compliance Check #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 REUSE Compliance Check #651: Pull request #1062 synchronize by younghojan
September 15, 2024 02:56 24s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:56 24s
Refactor handling of COV_CORE_SOURCE environment variable in TestRunE… REUSE Compliance Check #650: Commit 1c49af2 pushed by younghojan
September 15, 2024 02:56 18s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:56 18s
Overlay handling with fuse-overlayfs REUSE Compliance Check #649: Pull request #1062 synchronize by younghojan
September 15, 2024 02:55 17s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:55 17s
Fix typo REUSE Compliance Check #648: Commit 2f9d52e pushed by younghojan
September 15, 2024 02:55 17s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 15, 2024 02:55 17s
Overlay handling with fuse-overlayfs REUSE Compliance Check #647: Pull request #1062 synchronize by younghojan
September 5, 2024 11:08 20s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 11:08 20s
Refactor overlay mount error handling for better compatibility REUSE Compliance Check #646: Commit 88db419 pushed by younghojan
September 5, 2024 11:08 21s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 11:08 21s
Overlay handling with fuse-overlayfs REUSE Compliance Check #645: Pull request #1062 synchronize by younghojan
September 5, 2024 06:55 21s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:55 21s
Refactor file handling in test_runexecutor.py for better readability REUSE Compliance Check #644: Commit 2fd26ff pushed by younghojan
September 5, 2024 06:55 19s gsoc-overlay-handling-with-fuse-overlayfs-dev
gsoc-overlay-handling-with-fuse-overlayfs-dev
September 5, 2024 06:55 19s