Skip to content

Actions: ultimate-pa/benchexec

Actions

Check code format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for different "modes" in table definitions: first match a… Check code format #9: Commit 0b03547 pushed by maul-esel
October 29, 2024 10:05 20s memory_assignment
memory_assignment
October 29, 2024 10:05 20s
local changes from bench02 Check code format #8: Commit e7d1e7f pushed by danieldietsch
October 27, 2024 17:05 24s memory_assignment
memory_assignment
October 27, 2024 17:05 24s
local changes from bench02 Check code format #7: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 20s memory_assignment
memory_assignment
October 27, 2024 16:49 20s
Normalize line endings Check code format #6: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 20s main
main
October 27, 2024 16:48 20s
add Ultimate Referee, a witness validator Check code format #5: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 20s main
main
October 12, 2024 19:54 20s
local changes from bench02 Check code format #4: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 24s memory_assignment
memory_assignment
October 9, 2024 07:06 24s
Fix development installation on Windows Check code format #3: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 19s main
main
October 9, 2024 07:06 19s
Disable some tests during build of Debian package Check code format #2: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 27s main
main
October 9, 2024 07:06 27s
Address flake8 hints Check code format #1: Commit 13a86bb pushed by maul-esel
November 29, 2023 19:15 20s main
main
November 29, 2023 19:15 20s