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: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #405: Pull request #1042 synchronize by younghojan
May 27, 2024 11:09 24s 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:09 24s
Detect user NS restrictions in container.py and output an error messa… Check code format #404: Commit ce27511 pushed by younghojan
May 27, 2024 11:09 24s 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:09 24s
Quickstart tutorial Check code format #403: Pull request #1044 synchronize by incaseoftrouble
May 26, 2024 21:34 18s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 26, 2024 21:34 18s
Quickstart tutorial Check code format #402: Pull request #1044 synchronize by incaseoftrouble
May 26, 2024 21:32 23s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 26, 2024 21:32 23s
Quickstart tutorial Check code format #401: Pull request #1044 synchronize by incaseoftrouble
May 26, 2024 21:28 23s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 26, 2024 21:28 23s
Quickstart tutorial Check code format #400: Pull request #1044 opened by incaseoftrouble
May 26, 2024 21:09 20s incaseoftrouble:quickstart
incaseoftrouble:quickstart
May 26, 2024 21:09 20s
Use Pytest for test execution Check code format #399: Pull request #1043 opened by schroeding
May 26, 2024 17:02 19s pytest-testsuite
pytest-testsuite
May 26, 2024 17:02 19s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #398: Pull request #1042 synchronize by younghojan
May 24, 2024 08:02 28s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 08:02 28s
Format using Black Check code format #397: Commit 277ab8b pushed by younghojan
May 24, 2024 08:02 23s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 08:02 23s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #396: Pull request #1042 synchronize by younghojan
May 24, 2024 07:58 21s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 07:58 21s
Skip Ubuntu version check Check code format #395: Commit 1360980 pushed by younghojan
May 24, 2024 07:58 27s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 07:58 27s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #394: Pull request #1042 synchronize by younghojan
May 24, 2024 07:05 23s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 07:05 23s
Fix a type error in check_ubuntu_version() Check code format #393: Commit 1cd3324 pushed by younghojan
May 24, 2024 07:05 25s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 07:05 25s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #392: Pull request #1042 synchronize by younghojan
May 24, 2024 06:39 20s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 06:39 20s
Remove the use of the Walrus Operator to pass build checks on Python 3.7 Check code format #391: Commit 9a38fbc pushed by younghojan
May 24, 2024 06:39 21s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 06:39 21s
fix: Add error message output to respond to the impact of Ubuntu 24.04 Check code format #390: Pull request #1042 opened by younghojan
May 24, 2024 06:35 21s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 06:35 21s
fix: Add error message output to respond to the impact of Ubuntu 24.0… Check code format #389: Commit f27c560 pushed by younghojan
May 24, 2024 06:30 20s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 06:30 20s
Merge branch 'documentation-improvements' Check code format #388: Commit 6467aa5 pushed by younghojan
May 24, 2024 06:02 23s 1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
1041-benchexec-not-working-after-upgrading-from-ubuntu-2310-to-2404
May 24, 2024 06:02 23s
Merge branch 'documentation-improvements' Check code format #387: Commit 6467aa5 pushed by PhilippWendler
May 23, 2024 13:46 21s main
main
May 23, 2024 13:46 21s
Fixed bug on task filter clearance (#1040) Check code format #386: Commit 1c2ac5e pushed by PhilippWendler
May 23, 2024 12:35 24s main
main
May 23, 2024 12:35 24s
Fixed bug on task filter clearance Check code format #385: Pull request #1040 synchronize by PhilippWendler
May 23, 2024 12:33 25s JawHawk:taskfilterbug
JawHawk:taskfilterbug
May 23, 2024 12:33 25s
Fixed bug on task filter clearance Check code format #384: Pull request #1040 synchronize by JawHawk
May 22, 2024 07:05 21s JawHawk:taskfilterbug
JawHawk:taskfilterbug
May 22, 2024 07:05 21s
Tweak advertisement and connections between tools in documentation Check code format #383: Commit 48cfd9b pushed by PhilippWendler
May 21, 2024 14:01 30m 31s documentation-improvements
documentation-improvements
May 21, 2024 14:01 30m 31s
Merge pull request #920 from lorenzleutgeb/patch-1 Check code format #382: Commit c393b74 pushed by PhilippWendler
May 21, 2024 07:54 23s main
main
May 21, 2024 07:54 23s
doc: Add NixOS to INSTALL.md Check code format #381: Pull request #920 synchronize by lorenzleutgeb
May 21, 2024 07:52 25s lorenzleutgeb:patch-1
lorenzleutgeb:patch-1
May 21, 2024 07:52 25s