Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

AProVE 2025 (#1083) Ruff #732: Commit ddd3986 pushed by PhilippWendler
October 22, 2024 14:15 17s main
main
October 22, 2024 14:15 17s
AProVE 2025 Ruff #731: Pull request #1083 synchronize by nilslommen
October 22, 2024 14:07 21s aprove-developers:main
aprove-developers:main
October 22, 2024 14:07 21s
Merge pull request #1090 from vesalvojdani/main Ruff #730: Commit a9ebc8e pushed by PhilippWendler
October 22, 2024 05:21 18s main
main
October 22, 2024 05:21 18s
Merge pull request #1084 from Lasagnenator/add-svf-tool-info Ruff #729: Commit 729afc0 pushed by PhilippWendler
October 21, 2024 14:09 19s main
main
October 21, 2024 14:09 19s
Add SVF tool info Ruff #728: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 13:50 16s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 13:50 16s
Merge pull request #1089 from TDacik/main Ruff #727: Commit 7dfb191 pushed by PhilippWendler
October 21, 2024 13:40 17s main
main
October 21, 2024 13:40 17s
SV-COMP 25: Add tool info for RacerF Ruff #726: Pull request #1089 synchronize by TDacik
October 21, 2024 13:15 18s TDacik:main
TDacik:main
October 21, 2024 13:15 18s
Add SVF tool info Ruff #725: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 08:48 16s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 08:48 16s
Add SVF tool info Ruff #724: Pull request #1084 synchronize by Lasagnenator
October 21, 2024 08:46 20s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 21, 2024 08:46 20s
Merge pull request #1091 from leventeBajczi/theta-update-2024 Ruff #723: Commit 68005e6 pushed by PhilippWendler
October 21, 2024 07:29 16s main
main
October 21, 2024 07:29 16s
Merge pull request #1085 from jankofron/hornix Ruff #722: Commit 33c0cd1 pushed by PhilippWendler
October 21, 2024 07:17 15s main
main
October 21, 2024 07:17 15s
SV-COMP 25 Hornix tool Ruff #721: Pull request #1085 synchronize by blishko
October 21, 2024 07:09 17s jankofron:hornix
jankofron:hornix
October 21, 2024 07:09 17s
Theta tool-info module update Ruff #720: Pull request #1091 opened by leventeBajczi
October 20, 2024 19:52 17s leventeBajczi:theta-update-2024
leventeBajczi:theta-update-2024
October 20, 2024 19:52 17s
Add toolinfo module for meta-verifier CoOpeRace Ruff #719: Pull request #1090 opened by vesalvojdani
October 20, 2024 17:47 19s vesalvojdani:main
vesalvojdani:main
October 20, 2024 17:47 19s
SV-COMP 25: Add tool info for RacerF Ruff #718: Pull request #1089 opened by TDacik
October 20, 2024 15:35 15s TDacik:main
TDacik:main
October 20, 2024 15:35 15s
Add SVF tool info Ruff #717: Pull request #1084 synchronize by Lasagnenator
October 20, 2024 00:37 17s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 20, 2024 00:37 17s
Add SVF tool info Ruff #716: Pull request #1084 synchronize by Lasagnenator
October 20, 2024 00:14 15s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 20, 2024 00:14 15s
Test-comp 2025: Update of script for Fizzer Ruff #715: Pull request #1088 opened by trtikm
October 19, 2024 18:09 15s trtikm:marek/fizzer
trtikm:marek/fizzer
October 19, 2024 18:09 15s
Added SV-COMP 2025 marker. Ruff #714: Pull request #1087 opened by rmetta
October 19, 2024 04:07 19s rmetta:main
rmetta:main
October 19, 2024 04:07 19s
Add SVF tool info Ruff #713: Pull request #1084 synchronize by Lasagnenator
October 18, 2024 23:57 19s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 18, 2024 23:57 19s
Add SVF tool info Ruff #712: Pull request #1084 synchronize by Lasagnenator
October 18, 2024 23:32 17s Lasagnenator:add-svf-tool-info
Lasagnenator:add-svf-tool-info
October 18, 2024 23:32 17s
SV-COMP 25 Hornix tool Ruff #711: Pull request #1085 synchronize by blishko
October 18, 2024 19:55 16s jankofron:hornix
jankofron:hornix
October 18, 2024 19:55 16s
SV-COMP 25 Hornix tool Ruff #710: Pull request #1085 synchronize by jankofron
October 18, 2024 16:59 21s jankofron:hornix
jankofron:hornix
October 18, 2024 16:59 21s
Add toolinfo module for MetaVal 2.0 Ruff #709: Pull request #1086 opened by marian-lingsch
October 18, 2024 11:23 16s metaval-2.0
metaval-2.0
October 18, 2024 11:23 16s
Add toolinfo module for MetaVal 2.0 Ruff #708: Commit 95da082 pushed by marian-lingsch
October 18, 2024 11:23 22s metaval-2.0
metaval-2.0
October 18, 2024 11:23 22s