Skip to content

Actions: sosy-lab/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
1,060 workflow runs
1,060 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: Update core assignment algorithm in benchexec/resources.py Check code format #1062: Pull request #892 synchronize by schroeding
January 19, 2025 22:59 23s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 23s
use meaningful and pythonic variable names Check code format #1061: Commit afb1c2d pushed by schroeding
January 19, 2025 22:59 21s resources-update-core-assignment
resources-update-core-assignment
January 19, 2025 22:59 21s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #1060: Pull request #892 synchronize by schroeding
January 12, 2025 22:44 23s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 23s
create auxillary function to refactor while loop Check code format #1059: Commit 24a9afc pushed by schroeding
January 12, 2025 22:44 22s resources-update-core-assignment
resources-update-core-assignment
January 12, 2025 22:44 22s
Error counts in generated table summary tab #974 Check code format #1058: Pull request #1143 synchronize by Mamatha1718
January 12, 2025 13:39 21s Mamatha1718:table-summary
Mamatha1718:table-summary
January 12, 2025 13:39 21s
Merge pull request #1141 from Po-Chun-Chien/ric3-tool-info Check code format #1057: Commit ff38f87 pushed by PhilippWendler
January 7, 2025 07:54 24s main
main
January 7, 2025 07:54 24s
Error counts in generated table summary tab #974 Check code format #1056: Pull request #1143 synchronize by Mamatha1718
January 1, 2025 17:53 20s Mamatha1718:table-summary
Mamatha1718:table-summary
January 1, 2025 17:53 20s
Error counts in generated table summary tab #974 Check code format #1055: Pull request #1143 opened by Mamatha1718
January 1, 2025 17:17 24s Mamatha1718:table-summary
Mamatha1718:table-summary
January 1, 2025 17:17 24s
Add a tool-info module for rIC3 Check code format #1054: Pull request #1141 opened by Po-Chun-Chien
December 27, 2024 09:37 21s Po-Chun-Chien:ric3-tool-info
Po-Chun-Chien:ric3-tool-info
December 27, 2024 09:37 21s
Merge pull request #1140 from sosy-lab/fix-executable-paths-without-dir Check code format #1053: Commit fe51d28 pushed by dbeyer
December 23, 2024 22:55 20s main
main
December 23, 2024 22:55 20s
add "./" to executable paths not containing a directory Check code format #1052: Pull request #1140 opened by dbeyer
December 23, 2024 22:47 25s fix-executable-paths-without-dir
fix-executable-paths-without-dir
December 23, 2024 22:47 25s
add "./" to executable paths not containing a directory Check code format #1051: Commit c023a76 pushed by ricffb
December 22, 2024 14:19 21s fix-executable-paths-without-dir
fix-executable-paths-without-dir
December 22, 2024 14:19 21s
Merge pull request #1138 from sosy-lab/update-spf-ti Check code format #1050: Commit b2cb946 pushed by PhilippWendler
December 18, 2024 13:34 26s main
main
December 18, 2024 13:34 26s
Merge pull request #1139 from sosy-lab/improve-errors-for-podman Check code format #1049: Commit 7d38b32 pushed by PhilippWendler
December 18, 2024 12:55 22s main
main
December 18, 2024 12:55 22s
update spf to BaseTool2 Check code format #1048: Pull request #1138 synchronize by PhilippWendler
December 18, 2024 12:55 25s update-spf-ti
update-spf-ti
December 18, 2024 12:55 25s
Rename parameter in benchexec/tools/spf.py Check code format #1047: Commit dc0c97d pushed by PhilippWendler
December 18, 2024 12:55 21s update-spf-ti
update-spf-ti
December 18, 2024 12:55 21s
log errors to the user with more clarity Check code format #1046: Pull request #1139 opened by ricffb
December 18, 2024 10:26 20s improve-errors-for-podman
improve-errors-for-podman
December 18, 2024 10:26 20s
log errors to the user with more clarity Check code format #1045: Commit 03ba8aa pushed by ricffb
December 18, 2024 10:24 21s improve-errors-for-podman
improve-errors-for-podman
December 18, 2024 10:24 21s
update spf to BaseTool2 Check code format #1044: Pull request #1138 synchronize by ricffb
December 18, 2024 10:16 22s update-spf-ti
update-spf-ti
December 18, 2024 10:16 22s
remove support for identifier Check code format #1043: Commit dd61ae1 pushed by ricffb
December 18, 2024 10:16 25s update-spf-ti
update-spf-ti
December 18, 2024 10:16 25s
update spf to BaseTool2 Check code format #1042: Pull request #1138 opened by ricffb
December 18, 2024 08:10 20s update-spf-ti
update-spf-ti
December 18, 2024 08:10 20s
update spf to BaseTool2 Check code format #1041: Commit 3b552c5 pushed by ricffb
December 17, 2024 21:30 24s update-spf-ti
update-spf-ti
December 17, 2024 21:30 24s
Revert "Mark CI job for image deployments with environment" Check code format #1040: Commit f3dcc40 pushed by PhilippWendler
December 17, 2024 10:36 21s main
main
December 17, 2024 10:36 21s
Mark CI job for image deployments with environment Check code format #1039: Commit 1124de7 pushed by PhilippWendler
December 17, 2024 10:17 22s main
main
December 17, 2024 10:17 22s
Draft: Update core assignment algorithm in benchexec/resources.py Check code format #1038: Pull request #892 synchronize by schroeding
December 15, 2024 18:36 24s resources-update-core-assignment
resources-update-core-assignment
December 15, 2024 18:36 24s