Skip to content

Actions: sosy-lab/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
430 workflow run results
430 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix crash in fallback logic if /benchexec cgroup does not exist Check code format #430: Commit 618c2ba pushed by PhilippWendler
June 4, 2024 06:07 25s main
main
June 4, 2024 06:07 25s
Merge pull request #1049 from Po-Chun-Chien/update-btor2c-tool-info Check code format #429: Commit e22ca44 pushed by PhilippWendler
June 3, 2024 15:51 22s main
main
June 3, 2024 15:51 22s
Add a fallback logic for locating a usable cgroup for cgroups v2 Check code format #428: Commit 29480b3 pushed by PhilippWendler
June 3, 2024 15:49 24s main
main
June 3, 2024 15:49 24s
Create a tool-info module for BtorMC Check code format #427: Pull request #1045 synchronize by Po-Chun-Chien
June 3, 2024 15:39 24s Po-Chun-Chien:btormc-tool-info
Po-Chun-Chien:btormc-tool-info
June 3, 2024 15:39 24s
Handle invalid cgroup setup more gracefully for cgroups v2 Check code format #426: Commit a89a9c6 pushed by PhilippWendler
June 3, 2024 11:40 23s main
main
June 3, 2024 11:40 23s
Update Btor2C's tool-info module Check code format #425: Pull request #1049 opened by Po-Chun-Chien
May 29, 2024 14:58 23s Po-Chun-Chien:update-btor2c-tool-info
Po-Chun-Chien:update-btor2c-tool-info
May 29, 2024 14:58 23s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #424: Pull request #1042 synchronize by younghojan
May 29, 2024 06:39 24s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 29, 2024 06:39 24s
Adjust the logging level and defined the error message as a module-le… Check code format #423: Commit 632283c pushed by younghojan
May 29, 2024 06:39 22s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 29, 2024 06:39 22s
Polish documentation for using BenchExec in a container Check code format #422: Commit 901b50c pushed by PhilippWendler
May 29, 2024 06:26 21s main
main
May 29, 2024 06:26 21s
Quickstart tutorial Check code format #421: Pull request #1044 synchronize by incaseoftrouble
May 28, 2024 15:08 20s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 28, 2024 15:08 20s
Quickstart tutorial Check code format #420: Pull request #1044 synchronize by incaseoftrouble
May 28, 2024 11:59 28s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 28, 2024 11:59 28s
Quickstart tutorial Check code format #419: Pull request #1044 synchronize by incaseoftrouble
May 28, 2024 11:35 20s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 28, 2024 11:35 20s
Quickstart tutorial Check code format #418: Pull request #1044 synchronize by incaseoftrouble
May 28, 2024 11:33 26s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 28, 2024 11:33 26s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #417: Pull request #1042 synchronize by younghojan
May 28, 2024 02:07 22s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 28, 2024 02:07 22s
Add check for errno value of the OSError Check code format #416: Commit 964acf9 pushed by younghojan
May 28, 2024 02:07 20s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 28, 2024 02:07 20s
Create a tool-info module for BtorMC Check code format #415: Pull request #1045 opened by Po-Chun-Chien
May 27, 2024 16:37 25s Po-Chun-Chien:btormc-tool-info
Po-Chun-Chien:btormc-tool-info
May 27, 2024 16:37 25s
Quickstart tutorial Check code format #414: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:39 20s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:39 20s
Quickstart tutorial Check code format #413: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:37 22s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:37 22s
Quickstart tutorial Check code format #412: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:35 22s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:35 22s
Quickstart tutorial Check code format #411: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:25 23s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:25 23s
Quickstart tutorial Check code format #410: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:19 22s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:19 22s
Quickstart tutorial Check code format #409: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:17 26s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:17 26s
Quickstart tutorial Check code format #408: Pull request #1044 synchronize by incaseoftrouble
May 27, 2024 13:12 25s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 27, 2024 13:12 25s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #407: Pull request #1042 synchronize by younghojan
May 27, 2024 11:14 27s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 27, 2024 11:14 27s
Detect user NS restrictions in container.py and output an error messa… Check code format #406: Commit 81b5d5b pushed by younghojan
May 27, 2024 11:14 22s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 27, 2024 11:14 22s