Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add tool-info module for Rizzer Ruff #24: Pull request #948 opened by adamstafa
November 1, 2023 20:24 20s adamstafa:main
adamstafa:main
November 1, 2023 20:24 20s
Adds tool info module for owic Ruff #23: Pull request #947 opened by filipeom
November 1, 2023 18:06 26s filipeom:add-tool-owic
filipeom:add-tool-owic
November 1, 2023 18:06 26s
Add a tool-info module for CPV Ruff #22: Pull request #945 synchronize by Po-Chun-Chien
November 1, 2023 17:29 18s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 1, 2023 17:29 18s
Update tool-info module for PredatorHP Ruff #21: Pull request #943 synchronize by versokova
November 1, 2023 16:29 24s versokova:predatorhp
versokova:predatorhp
November 1, 2023 16:29 24s
Create concurrentwitness2test.py Ruff #20: Pull request #946 synchronize by leventeBajczi
November 1, 2023 15:30 21s patch-1
patch-1
November 1, 2023 15:30 21s
Create concurrentwitness2test.py Ruff #19: Pull request #946 opened by leventeBajczi
November 1, 2023 15:25 19s patch-1
patch-1
November 1, 2023 15:25 19s
Add a tool-info module for CPV Ruff #18: Pull request #945 opened by Po-Chun-Chien
November 1, 2023 15:25 22s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 1, 2023 15:25 22s
Improve the tool-info modules of ABC and AVR Ruff #17: Pull request #944 opened by Po-Chun-Chien
November 1, 2023 14:48 24s Po-Chun-Chien:improve-abc-avr-tool-info
Po-Chun-Chien:improve-abc-avr-tool-info
November 1, 2023 14:48 24s
add tool-info module of aise for SV-COMP 2024 Ruff #16: Pull request #942 synchronize by ZhenWang233
November 1, 2023 14:01 23s ZhenWang233:main
ZhenWang233:main
November 1, 2023 14:01 23s
FDSE: add tool info module Ruff #15: Pull request #940 synchronize by passengerZ
November 1, 2023 12:48 17s passengerZ:main
passengerZ:main
November 1, 2023 12:48 17s
FDSE: add tool info module Ruff #14: Pull request #940 synchronize by passengerZ
November 1, 2023 12:45 21s passengerZ:main
passengerZ:main
November 1, 2023 12:45 21s
Update tool-info module for PredatorHP Ruff #13: Pull request #943 synchronize by versokova
November 1, 2023 11:45 23s versokova:predatorhp
versokova:predatorhp
November 1, 2023 11:45 23s
Update tool-info module for PredatorHP Ruff #12: Pull request #943 opened by versokova
November 1, 2023 11:33 20s versokova:predatorhp
versokova:predatorhp
November 1, 2023 11:33 20s
Added ULTIMATE TestGen tool-info module Ruff #11: Pull request #935 synchronize by MaxBarth95
November 1, 2023 11:14 23s MaxBarth95:main
MaxBarth95:main
November 1, 2023 11:14 23s
add tool-info module of aise for SV-COMP 2024 Ruff #10: Pull request #942 opened by ZhenWang233
November 1, 2023 07:19 21s ZhenWang233:main
ZhenWang233:main
November 1, 2023 07:19 21s
add tool-info module of aise for SV-COMP 2024 Ruff #9: Pull request #941 opened by ZhenWang233
November 1, 2023 07:02 25s ZhenWang233:main
ZhenWang233:main
November 1, 2023 07:02 25s
FDSE: add tool info module Ruff #8: Pull request #940 opened by passengerZ
November 1, 2023 06:32 19s passengerZ:main
passengerZ:main
November 1, 2023 06:32 19s
FDSE: add tool info module Ruff #7: Pull request #939 opened by passengerZ
November 1, 2023 06:00 21s passengerZ:main
passengerZ:main
November 1, 2023 06:00 21s
FDSE: add tool info module Ruff #6: Pull request #938 opened by passengerZ
November 1, 2023 05:53 20s passengerZ:main
passengerZ:main
November 1, 2023 05:53 20s
Added ULTIMATE TestGen tool-info module Ruff #5: Pull request #935 synchronize by MaxBarth95
October 31, 2023 16:21 22s MaxBarth95:main
MaxBarth95:main
October 31, 2023 16:21 22s
Merge pull request #936 from felixmaechtle/patch-1 Ruff #4: Commit fde8a99 pushed by PhilippWendler
October 31, 2023 11:10 24s main
main
October 31, 2023 11:10 24s
Add tool-info module for SWAT Ruff #3: Pull request #936 synchronize by felixmaechtle
October 31, 2023 10:56 22s patch-1
patch-1
October 31, 2023 10:56 22s
Merge branch 'github-actions' Ruff #2: Commit 2515fad pushed by PhilippWendler
October 31, 2023 09:50 21s main
main
October 31, 2023 09:50 21s
Initial set of config for GitHub actions with Black, Reuse, and Ruff Ruff #1: Commit 53682d4 pushed by PhilippWendler
October 31, 2023 09:45 22s github-actions
github-actions
October 31, 2023 09:45 22s