Skip to content

Actions: sosy-lab/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

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