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

Merge pull request #1039 from younghojan/trivial-fix Check code format #380: Commit ac6f0fa pushed by PhilippWendler
May 21, 2024 07:47 23s main
main
May 21, 2024 07:47 23s
Merge pull request #1038 from lorenzleutgeb/debian Check code format #379: Commit 1277dfc pushed by PhilippWendler
May 21, 2024 07:40 23s main
main
May 21, 2024 07:40 23s
Fixed bug on task filter clearance Check code format #378: Pull request #1040 opened by JawHawk
May 21, 2024 07:12 21s JawHawk:taskfilterbug
JawHawk:taskfilterbug
May 21, 2024 07:12 21s
refactor: Use logging.INFO instead of "INFO" in setup_logging Check code format #377: Pull request #1039 opened by younghojan
May 21, 2024 05:51 23s younghojan:trivial-fix
younghojan:trivial-fix
May 21, 2024 05:51 23s
Revert "Update installation instructions for Debian due to #880" Check code format #376: Pull request #1038 opened by lorenzleutgeb
May 18, 2024 15:55 22s lorenzleutgeb:debian
lorenzleutgeb:debian
May 18, 2024 15:55 22s
doc: Add NixOS to INSTALL.md Check code format #375: Pull request #920 synchronize by lorenzleutgeb
May 18, 2024 15:20 21s lorenzleutgeb:patch-1
lorenzleutgeb:patch-1
May 18, 2024 15:20 21s
... and actually execute it with different Python versions Check code format #374: Commit e5f2f3c pushed by schroeding
May 17, 2024 13:38 23s pytest-testsuite
pytest-testsuite
May 17, 2024 13:38 23s
Add pytest testsuite to Gitlab CI Check code format #373: Commit de9f2a1 pushed by schroeding
May 17, 2024 11:42 20s pytest-testsuite
pytest-testsuite
May 17, 2024 11:42 20s
Transitioned test_cgroups to pytest Check code format #372: Commit 22a7998 pushed by schroeding
May 17, 2024 11:01 22s pytest-testsuite
pytest-testsuite
May 17, 2024 11:01 22s
Add news about accepted GSoC projects Check code format #371: Commit ba27ba4 pushed by schroeding
May 13, 2024 18:29 25s pytest-testsuite
pytest-testsuite
May 13, 2024 18:29 25s
Draft: Add a Pytest-based Testsuite Check code format #370: Pull request #1037 opened by schroeding
May 6, 2024 18:49 22s schroeding:pytest-testsuite
schroeding:pytest-testsuite
May 6, 2024 18:49 22s
Add news about accepted GSoC projects Check code format #369: Commit ba27ba4 pushed by PhilippWendler
May 2, 2024 12:13 27s main
main
May 2, 2024 12:13 27s
Bump the npm_and_yarn group across 1 directory with 11 updates Check code format #368: Pull request #1035 opened by dependabot bot
May 2, 2024 02:32 25s dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-8256bf38a9
dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-8256bf38a9
May 2, 2024 02:32 25s
Bump the npm_and_yarn group across 1 directory with 11 updates Check code format #367: Commit 10da3c7 pushed by dependabot bot
May 2, 2024 02:32 23s dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-8256bf38a9
dependabot/npm_and_yarn/benchexec/tablegenerator/react-table/npm_and_yarn-8256bf38a9
May 2, 2024 02:32 23s
Add reset button to plots (#1030) Check code format #366: Commit 71dc484 pushed by PhilippWendler
April 29, 2024 09:01 19s main
main
April 29, 2024 09:01 19s
Added reset button to plots Check code format #365: Pull request #1030 synchronize by PhilippWendler
April 29, 2024 08:53 20s JawHawk:resetbutton
JawHawk:resetbutton
April 29, 2024 08:53 20s
Added reset button to plots Check code format #364: Pull request #1030 synchronize by JawHawk
April 26, 2024 11:27 21s JawHawk:resetbutton
JawHawk:resetbutton
April 26, 2024 11:27 21s
Added reset button to plots Check code format #363: Pull request #1030 synchronize by JawHawk
April 14, 2024 10:04 21s JawHawk:resetbutton
JawHawk:resetbutton
April 14, 2024 10:04 21s
Added reset button to plots Check code format #362: Pull request #1030 synchronize by JawHawk
April 14, 2024 10:02 22s JawHawk:resetbutton
JawHawk:resetbutton
April 14, 2024 10:02 22s
Merge pull request #1021 from justfeelix/main Check code format #361: Commit 2fb2a05 pushed by PhilippWendler
April 8, 2024 13:08 27s main
main
April 8, 2024 13:08 27s
minor changes to coccinelle tool Check code format #360: Pull request #1021 synchronize by justfeelix
April 7, 2024 08:01 21s justfeelix:main
justfeelix:main
April 7, 2024 08:01 21s
Documentation: Part I Check code format #359: Pull request #1031 opened by incaseoftrouble
April 6, 2024 04:07 21s incaseoftrouble:documentation-2
incaseoftrouble:documentation-2
April 6, 2024 04:07 21s
Added reset button to plots Check code format #358: Pull request #1030 synchronize by JawHawk
April 4, 2024 14:32 26s JawHawk:resetbutton
JawHawk:resetbutton
April 4, 2024 14:32 26s
Added reset button to plots Check code format #357: Pull request #1030 opened by JawHawk
April 4, 2024 14:15 24s JawHawk:resetbutton
JawHawk:resetbutton
April 4, 2024 14:15 24s
Documentation: Part I Check code format #356: Pull request #1029 opened by incaseoftrouble
April 2, 2024 21:37 22s incaseoftrouble:documentation-1
incaseoftrouble:documentation-1
April 2, 2024 21:37 22s