Skip to content

Actions: sosy-lab/benchexec

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
1,058 workflow runs
1,058 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #976 from Po-Chun-Chien/cpv-tool-info Ruff #158: Commit c461bcb pushed by PhilippWendler
November 22, 2023 17:11 18s main
main
November 22, 2023 17:11 18s
Improve CPV's tool-info module Ruff #157: Pull request #976 opened by Po-Chun-Chien
November 22, 2023 15:35 17s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 22, 2023 15:35 17s
Merge pull request #973 from sosy-lab/fix-tool-info-module-proton Ruff #156: Commit 639f9ce pushed by PhilippWendler
November 22, 2023 09:41 20s main
main
November 22, 2023 09:41 20s
Fix tool info module proton Ruff #155: Pull request #973 synchronize by PhilippWendler
November 22, 2023 09:38 21s fix-tool-info-module-proton
fix-tool-info-module-proton
November 22, 2023 09:38 21s
Update benchexec/tools/proton.py Ruff #154: Commit 0fe221e pushed by PhilippWendler
November 22, 2023 09:38 20s fix-tool-info-module-proton
fix-tool-info-module-proton
November 22, 2023 09:38 20s
Fix tool info module proton Ruff #153: Pull request #973 opened by dbeyer
November 22, 2023 07:02 16s fix-tool-info-module-proton
fix-tool-info-module-proton
November 22, 2023 07:02 16s
Refactor: Remove unnecessary local variable Ruff #152: Commit 63cbf69 pushed by dbeyer
November 22, 2023 07:01 18s fix-tool-info-module-proton
fix-tool-info-module-proton
November 22, 2023 07:01 18s
Merge pull request #972 from hernanponcedeleon/main Ruff #151: Commit 033b38c pushed by PhilippWendler
November 21, 2023 18:06 21s main
main
November 21, 2023 18:06 21s
Use proper property false result Ruff #150: Pull request #972 opened by hernanponcedeleon
November 21, 2023 18:01 20s hernanponcedeleon:main
hernanponcedeleon:main
November 21, 2023 18:01 20s
Merge pull request #971 from Sarathkrishnan/main Ruff #149: Commit 9c8d1ef pushed by PhilippWendler
November 20, 2023 11:44 19s main
main
November 20, 2023 11:44 19s
version function in tool-info module of cetfuzz updated Ruff #148: Pull request #971 opened by Sarathkrishnan
November 20, 2023 11:27 16s Sarathkrishnan:main
Sarathkrishnan:main
November 20, 2023 11:27 16s
Merge pull request #970 from sosy-lab/witness-linter Ruff #147: Commit c48e5a3 pushed by PhilippWendler
November 20, 2023 10:05 19s main
main
November 20, 2023 10:05 19s
Add error description when the witness version does not match Ruff #146: Pull request #970 opened by marian-lingsch
November 20, 2023 09:49 17s witness-linter
witness-linter
November 20, 2023 09:49 17s
Since there are 2 types of witnesses currently (GraphML and YAML), th… Ruff #145: Commit 026fc42 pushed by marian-lingsch
November 20, 2023 09:46 22s witness-linter
witness-linter
November 20, 2023 09:46 22s
Merge pull request #968 from Po-Chun-Chien/cpv-tool-info Ruff #144: Commit 1d06191 pushed by PhilippWendler
November 18, 2023 13:14 18s main
main
November 18, 2023 13:14 18s
Add a missing required path for CPV Ruff #143: Pull request #968 opened by Po-Chun-Chien
November 18, 2023 12:38 19s Po-Chun-Chien:cpv-tool-info
Po-Chun-Chien:cpv-tool-info
November 18, 2023 12:38 19s
Merge pull request #966 from MartinSpiessl/liv Ruff #142: Commit 339d781 pushed by dbeyer
November 17, 2023 20:41 17s main
main
November 17, 2023 20:41 17s
Add tool-info module for LIV Ruff #141: Pull request #966 synchronize by MartinSpiessl
November 17, 2023 20:12 17s MartinSpiessl:liv
MartinSpiessl:liv
November 17, 2023 20:12 17s
Add tool-info module for LIV Ruff #140: Pull request #966 synchronize by MartinSpiessl
November 17, 2023 19:54 19s MartinSpiessl:liv
MartinSpiessl:liv
November 17, 2023 19:54 19s
Metaval svcomp24 Ruff #139: Pull request #967 opened by marian-lingsch
November 16, 2023 13:41 22s metaval-svcomp24
metaval-svcomp24
November 16, 2023 13:41 22s
Property is python build in which was being overshadowed Ruff #138: Commit 0a0fbd0 pushed by marian-lingsch
November 16, 2023 12:49 16s metaval-svcomp24
metaval-svcomp24
November 16, 2023 12:49 16s
Add tool-info module for VerCors Ruff #137: Pull request #910 synchronize by PhilippWendler
November 16, 2023 12:43 19s MartinSpiessl:vercors
MartinSpiessl:vercors
November 16, 2023 12:43 19s
Add tool-info module for VeriFast Ruff #136: Pull request #909 synchronize by PhilippWendler
November 16, 2023 12:43 19s MartinSpiessl:verifast
MartinSpiessl:verifast
November 16, 2023 12:43 19s
Add algorithm selection dependent on the property. Ruff #135: Commit 2751363 pushed by marian-lingsch
November 16, 2023 12:39 22s metaval-svcomp24
metaval-svcomp24
November 16, 2023 12:39 22s
Test suite optimization: Migrate tests to pytest Ruff #134: Pull request #917 synchronize by Naman-Priyadarshi
November 16, 2023 11:42 23s migrate-test-to-pytest
migrate-test-to-pytest
November 16, 2023 11:42 23s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.