Skip to content

Actions: sosy-lab/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding tool-info for Sikraken REUSE Compliance Check #680: Pull request #1079 synchronize by echancrure
October 8, 2024 15:34 19s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:34 19s
adding tool-info for Sikraken REUSE Compliance Check #679: Pull request #1079 synchronize by echancrure
October 8, 2024 15:25 22s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:25 22s
adding tool-info for Sikraken REUSE Compliance Check #678: Pull request #1079 synchronize by echancrure
October 8, 2024 15:17 19s echancrure:sikraken
echancrure:sikraken
October 8, 2024 15:17 19s
Fix development installation on Windows REUSE Compliance Check #677: Commit 7b04ac9 pushed by PhilippWendler
October 8, 2024 09:34 19s main
main
October 8, 2024 09:34 19s
Fix development installation on Windows REUSE Compliance Check #676: Commit 7b04ac9 pushed by PhilippWendler
October 8, 2024 09:23 22s fix-dev-dependencies-on-Windows
fix-dev-dependencies-on-Windows
October 8, 2024 09:23 22s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #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 REUSE Compliance Check #674: Commit 4073a2b pushed by schroeding
October 6, 2024 20:20 20s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:20 20s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #673: Pull request #892 synchronize by schroeding
October 6, 2024 20:14 20s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:14 20s
replace layer generation code REUSE Compliance Check #672: Commit cab9c90 pushed by schroeding
October 6, 2024 20:14 18s resources-update-core-assignment
resources-update-core-assignment
October 6, 2024 20:14 18s
adding tool-info for Sikraken REUSE Compliance Check #671: Pull request #1079 opened by echancrure
October 6, 2024 18:24 21s echancrure:sikraken
echancrure:sikraken
October 6, 2024 18:24 21s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #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 REUSE Compliance Check #669: Commit 2cc163b pushed by schroeding
September 22, 2024 19:19 21s resources-update-core-assignment
resources-update-core-assignment
September 22, 2024 19:19 21s
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