Skip to content

Actions: sosy-lab/benchexec

Actions

REUSE Compliance Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
reuse.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement hardening suggestion of zizmor for GitHub Actions REUSE Compliance Check #1019: Commit d8deb6a pushed by PhilippWendler
December 10, 2024 06:05 23s main
main
December 10, 2024 06:05 23s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1018: Pull request #1132 synchronize by ricffb
December 9, 2024 15:35 23s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:35 23s
use Paths, procedual style, and += for list REUSE Compliance Check #1017: Commit 374f90b pushed by ricffb
December 9, 2024 15:35 21s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:35 21s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1016: Pull request #1132 synchronize by ricffb
December 9, 2024 15:22 22s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 22s
use podman create, init and rm instead of run and kill REUSE Compliance Check #1015: Commit dde1397 pushed by ricffb
December 9, 2024 15:22 19s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 19s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1014: Pull request #1132 synchronize by ricffb
December 9, 2024 15:22 31s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 15:22 31s
use podman create, init and rm instead of run and kill REUSE Compliance Check #1013: Commit 2aac8ce pushed 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
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1012: Pull request #1132 synchronize by ricffb
December 9, 2024 12:52 24s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 12:52 24s
use the defined executable REUSE Compliance Check #1011: Commit b4a3296 pushed by ricffb
December 9, 2024 12:52 20s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 12:52 20s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1010: Pull request #1132 synchronize by ricffb
December 9, 2024 12:51 21s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 12:51 21s
remove config from mk_arg REUSE Compliance Check #1009: Commit 5bf07ad pushed by ricffb
December 9, 2024 12:51 22s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 12:51 22s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1008: Pull request #1132 synchronize by ricffb
December 9, 2024 11:45 20s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:45 20s
remove config from mk_args REUSE Compliance Check #1007: Commit de905ee pushed by ricffb
December 9, 2024 11:45 17s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:45 17s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1006: Pull request #1132 synchronize by ricffb
December 9, 2024 11:37 20s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:37 20s
remove wrong initializer REUSE Compliance Check #1005: Commit bb2a485 pushed by ricffb
December 9, 2024 11:37 18s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:37 18s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #1004: Pull request #1132 synchronize by ricffb
December 9, 2024 11:27 22s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:27 22s
refactor containerized tool info modules for improved code sharing REUSE Compliance Check #1003: Commit a68c0ea pushed by ricffb
December 9, 2024 11:27 23s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 9, 2024 11:27 23s
Draft: Update core assignment algorithm in benchexec/resources.py REUSE Compliance Check #1002: Pull request #892 synchronize by schroeding
December 8, 2024 20:03 21s resources-update-core-assignment
resources-update-core-assignment
December 8, 2024 20:03 21s
remove redundant machine definitions REUSE Compliance Check #1001: Commit 1cb6c3c pushed by schroeding
December 8, 2024 20:03 22s resources-update-core-assignment
resources-update-core-assignment
December 8, 2024 20:03 22s
Merge pull request #1134 from Po-Chun-Chien/improve-avr-tool-info REUSE Compliance Check #1000: Commit f4660bf pushed by PhilippWendler
December 6, 2024 11:54 20s main
main
December 6, 2024 11:54 20s
Improve avr tool info REUSE Compliance Check #999: Pull request #1134 opened by Po-Chun-Chien
December 6, 2024 11:11 18s Po-Chun-Chien:improve-avr-tool-info
Po-Chun-Chien:improve-avr-tool-info
December 6, 2024 11:11 18s
Merge pull request #1133 from Po-Chun-Chien/add-moxi-tools REUSE Compliance Check #998: Commit a3af136 pushed by PhilippWendler
December 6, 2024 07:05 19s main
main
December 6, 2024 07:05 19s
Add tool-info modules for MoXI model checkers REUSE Compliance Check #997: Pull request #1133 synchronize by Po-Chun-Chien
December 5, 2024 17:08 26s Po-Chun-Chien:add-moxi-tools
Po-Chun-Chien:add-moxi-tools
December 5, 2024 17:08 26s
Add tool-info modules for MoXI model checkers REUSE Compliance Check #996: Pull request #1133 synchronize by Po-Chun-Chien
December 5, 2024 17:06 20s Po-Chun-Chien:add-moxi-tools
Po-Chun-Chien:add-moxi-tools
December 5, 2024 17:06 20s
Add feature to use podman container when determining version for vcloud-benchmark REUSE Compliance Check #995: Pull request #1132 synchronize by ricffb
December 4, 2024 22:50 24s use-podman-container-when-getting-version
use-podman-container-when-getting-version
December 4, 2024 22:50 24s