Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,035 workflow runs
1,035 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

repair the axiom generation for adts defined in JavaDL (#3556) CodeQuality #2924: Commit 824af63 pushed by github-merge-queue bot
February 20, 2025 22:00 2m 7s main
main
February 20, 2025 22:00 2m 7s
CodeQuality CodeQuality #2923: Merge group checks requested
February 20, 2025 21:10 1m 59s
February 20, 2025 21:10 1m 59s
CodeQuality CodeQuality #2922: Merge group checks requested
February 20, 2025 20:53 2m 9s
February 20, 2025 20:53 2m 9s
Cleanup: Removal of the write and read settings using Properties CodeQuality #2921: Pull request #3549 synchronize by wadoon
February 20, 2025 20:51 2m 2s weigl/cleanup/settings
weigl/cleanup/settings
February 20, 2025 20:51 2m 2s
Cleanup: Making the build script fit for the future. CodeQuality #2920: Pull request #3552 synchronize by wadoon
February 20, 2025 20:49 1m 25s weigl/cleanup/gradle
weigl/cleanup/gradle
February 20, 2025 20:49 1m 25s
Cleanup: Making the build script fit for the future. CodeQuality #2919: Pull request #3552 synchronize by wadoon
February 20, 2025 20:43 1m 49s weigl/cleanup/gradle
weigl/cleanup/gradle
February 20, 2025 20:43 1m 49s
Fix #3563 CodeQuality #2918: Pull request #3566 synchronize by mattulbrich
February 20, 2025 18:03 2m 13s fix-3563
fix-3563
February 20, 2025 18:03 2m 13s
Nullness Type System for key.core CodeQuality #2917: Pull request #3470 synchronize by as2-0
February 20, 2025 13:37 6m 13s eisop/keycore2
eisop/keycore2
February 20, 2025 13:37 6m 13s
Nullness Type System for key.core CodeQuality #2916: Pull request #3470 synchronize by lks9
February 20, 2025 13:25 15m 47s eisop/keycore2
eisop/keycore2
February 20, 2025 13:25 15m 47s
Fix line number alignment in SMT interface CodeQuality #2915: Pull request #3559 synchronize by BookWood7th
February 20, 2025 13:23 8m 9s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
February 20, 2025 13:23 8m 9s
HacKeYthon results for JSON RPC API CodeQuality #2914: Pull request #3567 opened by samysweb
February 20, 2025 13:22 7m 35s steuber/jsonrpc
steuber/jsonrpc
February 20, 2025 13:22 7m 35s
Improve the SMT translation by translating axiom taclets (mostly for invariants) CodeQuality #2913: Pull request #3564 synchronize by WolframPfeifer
February 20, 2025 13:19 8m 34s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
February 20, 2025 13:19 8m 34s
Fix #3563 CodeQuality #2912: Pull request #3566 opened by Drodt
February 20, 2025 13:16 2m 15s fix-3563
fix-3563
February 20, 2025 13:16 2m 15s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2911: Pull request #3543 synchronize by mattulbrich
February 20, 2025 13:16 2m 29s mattulbrich:fix3389
mattulbrich:fix3389
February 20, 2025 13:16 2m 29s
Add a stricter dependency contract proof obligation CodeQuality #2910: Pull request #3565 opened by frereit
February 20, 2025 12:59 2m 11s strict-dep-po
strict-dep-po
February 20, 2025 12:59 2m 11s
Fix line number alignment in SMT interface CodeQuality #2909: Pull request #3559 synchronize by WolframPfeifer
February 20, 2025 12:42 2m 9s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
February 20, 2025 12:42 2m 9s
Improve the SMT translation by translating axiom taclets (mostly for invariants) CodeQuality #2908: Pull request #3564 opened by WolframPfeifer
February 20, 2025 12:34 2m 7s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
February 20, 2025 12:34 2m 7s
Fix/Improve KeY example application CodeQuality #2907: Pull request #3562 synchronize by samysweb
February 20, 2025 10:07 2m 2s steuber/exampleLogging
steuber/exampleLogging
February 20, 2025 10:07 2m 2s
Fix/Improve KeY example application CodeQuality #2906: Pull request #3562 opened by samysweb
February 20, 2025 10:05 1m 58s steuber/exampleLogging
steuber/exampleLogging
February 20, 2025 10:05 1m 58s
Nullness Type System for key.core CodeQuality #2905: Pull request #3470 synchronize by lks9
February 20, 2025 09:57 2m 7s eisop/keycore2
eisop/keycore2
February 20, 2025 09:57 2m 7s
Nullness Type System for key.core CodeQuality #2904: Pull request #3470 synchronize by as2-0
February 20, 2025 09:43 1m 54s eisop/keycore2
eisop/keycore2
February 20, 2025 09:43 1m 54s
fix #3553 CodeQuality #2903: Pull request #3560 synchronize by MarcoScaletta
February 20, 2025 09:33 2m 4s MarcoScaletta:main
MarcoScaletta:main
February 20, 2025 09:33 2m 4s
fix #3553 CodeQuality #2902: Pull request #3560 synchronize by MarcoScaletta
February 20, 2025 09:03 2m 15s MarcoScaletta:main
MarcoScaletta:main
February 20, 2025 09:03 2m 15s
Nullness Type System for key.core CodeQuality #2901: Pull request #3470 synchronize by lks9
February 20, 2025 08:54 1m 59s eisop/keycore2
eisop/keycore2
February 20, 2025 08:54 1m 59s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2900: Pull request #3543 synchronize by mattulbrich
February 20, 2025 08:33 2m 13s mattulbrich:fix3389
mattulbrich:fix3389
February 20, 2025 08:33 2m 13s