Skip to content

Actions: ultimate-pa/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
26 workflow runs
26 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… Ruff #26: Commit 7c7a8e1 pushed by maul-esel
November 15, 2024 20:13 21s memory_assignment
memory_assignment
November 15, 2024 20:13 21s
Modify the project_url in aise.py (#1104) Ruff #25: Commit 86252f4 pushed by maul-esel
November 14, 2024 00:00 18s main
main
November 14, 2024 00:00 18s
add support for different "modes" in table definitions: first match a… Ruff #24: Commit e5efee5 pushed by maul-esel
November 13, 2024 23:58 16s memory_assignment
memory_assignment
November 13, 2024 23:58 16s
use result.RESULT_FALSE_DATARACE for data race violations Ruff #23: Commit 5bd103a pushed by maul-esel
November 13, 2024 12:44 16s ultimate-dataraces
ultimate-dataraces
November 13, 2024 12:44 16s
use result.RESULT_FALSE_DATARACE for data race violations Ruff #22: Commit bbcdf65 pushed by maul-esel
November 13, 2024 09:27 19s ultimate-dataraces
ultimate-dataraces
November 13, 2024 09:27 19s
Merge pull request #1106 from hernanponcedeleon/no-data-race Ruff #21: Commit d8b67f1 pushed by maul-esel
November 13, 2024 09:22 17s main
main
November 13, 2024 09:22 17s
add support for different "modes" in table definitions: first match a… Ruff #20: Commit 5025280 pushed by danieldietsch
November 7, 2024 17:03 14s memory_assignment
memory_assignment
November 7, 2024 17:03 14s
Apply flake8 suggestion to make any() lazy Ruff #19: Commit 6b427e5 pushed by danieldietsch
November 7, 2024 17:02 17s main
main
November 7, 2024 17:02 17s
Merge pull request #1102 from ultimate-pa/update-ultimate-jdk21 Ruff #18: Commit 2ca9b4a pushed by maul-esel
November 7, 2024 14:57 20s main
main
November 7, 2024 14:57 20s
do not look for Ultimate binary to verify Ultimate dir, look for one … Ruff #17: Commit e292b96 pushed by maul-esel
November 7, 2024 14:29 16s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:29 16s
do not look for Ultimate binary to verify Ultimate dir, look for one … Ruff #16: Commit 9017b59 pushed by maul-esel
November 7, 2024 14:24 15s update-ultimate-jdk21
update-ultimate-jdk21
November 7, 2024 14:24 15s
Fix Korn toolinfo module, include data_model (#1101) Ruff #15: Commit f7d8955 pushed by maul-esel
November 7, 2024 14:20 18s main
main
November 7, 2024 14:20 18s
do not look for Ultimate binary to verify Ultimate dir, look for one … Ruff #14: Commit a25517e pushed by maul-esel
November 6, 2024 19:15 15s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:15 15s
do not look for Ultimate binary to verify Ultimate dir, look for one … Ruff #13: Commit 888a0ad pushed by danieldietsch
November 6, 2024 19:00 18s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 19:00 18s
do not look for Ultimate binary to verify Ultimate dir, look for one … Ruff #12: Commit e0883cb pushed by danieldietsch
November 6, 2024 18:59 14s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 18:59 14s
Ultimate: fix search for available java Ruff #11: Commit 3cc5b52 pushed by maul-esel
November 6, 2024 17:22 19s update-ultimate-jdk21
update-ultimate-jdk21
November 6, 2024 17:22 19s
Prepare version number for next development cycle. Ruff #10: Commit 79ed29a pushed by maul-esel
November 6, 2024 17:13 21s main
main
November 6, 2024 17:13 21s
add support for different "modes" in table definitions: first match a… Ruff #9: Commit 0b03547 pushed by maul-esel
October 29, 2024 10:05 17s memory_assignment
memory_assignment
October 29, 2024 10:05 17s
local changes from bench02 Ruff #8: Commit e7d1e7f pushed by danieldietsch
October 27, 2024 17:05 19s memory_assignment
memory_assignment
October 27, 2024 17:05 19s
local changes from bench02 Ruff #7: Commit ec25f9d pushed by danieldietsch
October 27, 2024 16:49 17s memory_assignment
memory_assignment
October 27, 2024 16:49 17s
Normalize line endings Ruff #6: Commit e091c78 pushed by danieldietsch
October 27, 2024 16:48 18s main
main
October 27, 2024 16:48 18s
add Ultimate Referee, a witness validator Ruff #5: Commit a321056 pushed by danieldietsch
October 12, 2024 19:54 16s main
main
October 12, 2024 19:54 16s
local changes from bench02 Ruff #4: Commit 3570492 pushed by danieldietsch
October 9, 2024 07:06 15s memory_assignment
memory_assignment
October 9, 2024 07:06 15s
Fix development installation on Windows Ruff #3: Commit 7b04ac9 pushed by danieldietsch
October 9, 2024 07:06 18s main
main
October 9, 2024 07:06 18s
Disable some tests during build of Debian package Ruff #2: Commit fae2bf9 pushed by danieldietsch
October 9, 2024 07:06 23s main
main
October 9, 2024 07:06 23s