Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
157 workflow run results
157 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add resolves keyword to PR template (#3568) CodeQuality #2932: Commit 8bd192a pushed by github-merge-queue bot
2m 0s main
main
2m 0s
fix #3553 CodeQuality #2931: Pull request #3560 synchronize by MarcoScaletta
2m 2s MarcoScaletta:main
MarcoScaletta:main
2m 2s
fix #3553 CodeQuality #2930: Pull request #3560 synchronize by MarcoScaletta
2m 7s MarcoScaletta:main
MarcoScaletta:main
2m 7s
CodeQuality CodeQuality #2929: Merge group checks requested
2m 10s
2m 10s
Add resolves keyword to PR template CodeQuality #2928: Pull request #3568 opened by frereit
2m 0s pr-template-closes
pr-template-closes
2m 0s
Cleanup: Removal of key.api package (#3550) CodeQuality #2927: Commit 0e4a43a pushed by github-merge-queue bot
2m 12s main
main
2m 12s
Fix/Improve KeY example application (#3562) CodeQuality #2926: Commit ad5c84f pushed by github-merge-queue bot
2m 27s main
main
2m 27s
CodeQuality CodeQuality #2925: Merge group checks requested
2m 7s
2m 7s
repair the axiom generation for adts defined in JavaDL (#3556) CodeQuality #2924: Commit 824af63 pushed by github-merge-queue bot
2m 7s main
main
2m 7s
CodeQuality CodeQuality #2923: Merge group checks requested
1m 59s
1m 59s
CodeQuality CodeQuality #2922: Merge group checks requested
2m 9s
2m 9s
Cleanup: Removal of the write and read settings using Properties CodeQuality #2921: Pull request #3549 synchronize by wadoon
2m 2s weigl/cleanup/settings
weigl/cleanup/settings
2m 2s
Cleanup: Making the build script fit for the future. CodeQuality #2920: Pull request #3552 synchronize by wadoon
1m 25s weigl/cleanup/gradle
weigl/cleanup/gradle
1m 25s
Cleanup: Making the build script fit for the future. CodeQuality #2919: Pull request #3552 synchronize by wadoon
1m 49s weigl/cleanup/gradle
weigl/cleanup/gradle
1m 49s
Fix #3563 CodeQuality #2918: Pull request #3566 synchronize by mattulbrich
2m 13s fix-3563
fix-3563
2m 13s
Nullness Type System for key.core CodeQuality #2917: Pull request #3470 synchronize by as2-0
6m 13s eisop/keycore2
eisop/keycore2
6m 13s
Nullness Type System for key.core CodeQuality #2916: Pull request #3470 synchronize by lks9
15m 47s eisop/keycore2
eisop/keycore2
15m 47s
Fix line number alignment in SMT interface CodeQuality #2915: Pull request #3559 synchronize by BookWood7th
8m 9s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
8m 9s
HacKeYthon results for JSON RPC API CodeQuality #2914: Pull request #3567 opened by samysweb
7m 35s steuber/jsonrpc
steuber/jsonrpc
7m 35s
Improve the SMT translation by translating axiom taclets (mostly for invariants) CodeQuality #2913: Pull request #3564 synchronize by WolframPfeifer
8m 34s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
8m 34s
Fix #3563 CodeQuality #2912: Pull request #3566 opened by Drodt
2m 15s fix-3563
fix-3563
2m 15s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2911: Pull request #3543 synchronize by mattulbrich
2m 29s mattulbrich:fix3389
mattulbrich:fix3389
2m 29s
Add a stricter dependency contract proof obligation CodeQuality #2910: Pull request #3565 opened by frereit
2m 11s strict-dep-po
strict-dep-po
2m 11s
Fix line number alignment in SMT interface CodeQuality #2909: Pull request #3559 synchronize by WolframPfeifer
2m 9s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
2m 9s
Improve the SMT translation by translating axiom taclets (mostly for invariants) CodeQuality #2908: Pull request #3564 opened by WolframPfeifer
2m 7s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
2m 7s