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

highlight current line in issue editor pane CodeQuality #2974: Pull request #3573 synchronize by mattulbrich
February 27, 2025 17:22 2m 0s mattulbrich:highlightCurrentLineEditor
mattulbrich:highlightCurrentLineEditor
February 27, 2025 17:22 2m 0s
highlight current line in issue editor pane CodeQuality #2973: Pull request #3573 opened by mattulbrich
February 27, 2025 14:16 2m 7s mattulbrich:highlightCurrentLineEditor
mattulbrich:highlightCurrentLineEditor
February 27, 2025 14:16 2m 7s
JmlLexer w/o expr mode CodeQuality #2972: Pull request #3572 synchronize by wadoon
February 27, 2025 12:08 2m 1s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:08 2m 1s
JmlLexer w/o expr mode CodeQuality #2971: Pull request #3572 synchronize by wadoon
February 27, 2025 12:06 1m 34s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:06 1m 34s
JmlLexer w/o expr mode CodeQuality #2970: Pull request #3572 opened by wadoon
February 27, 2025 12:02 1m 32s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:02 1m 32s
Use a custom Github action for setting up the SMT solvers CodeQuality #2969: Pull request #3569 synchronize by wadoon
February 26, 2025 22:12 1m 58s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 26, 2025 22:12 1m 58s
Improved treatment of final fields CodeQuality #2968: Pull request #3495 synchronize by mattulbrich
February 26, 2025 20:14 2m 9s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 26, 2025 20:14 2m 9s
Reactivate Checkstyle CodeQuality #2967: Pull request #3539 synchronize by wadoon
February 25, 2025 18:02 2m 3s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
February 25, 2025 18:02 2m 3s
Cleanup: Making the build script fit for the future. CodeQuality #2966: Pull request #3552 synchronize by wadoon
February 25, 2025 17:47 1m 49s weigl/cleanup/gradle
weigl/cleanup/gradle
February 25, 2025 17:47 1m 49s
Cleanup: Use Standard Tech for Test Fixtures CodeQuality #2965: Pull request #3551 synchronize by wadoon
February 25, 2025 17:42 2m 1s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 25, 2025 17:42 2m 1s
Cleanup: Use Standard Tech for Test Fixtures CodeQuality #2964: Pull request #3551 synchronize by wadoon
February 25, 2025 17:38 2m 7s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 25, 2025 17:38 2m 7s
Use a custom Github action for setting up the SMT solvers CodeQuality #2963: Pull request #3569 synchronize by wadoon
February 24, 2025 19:21 2m 4s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 24, 2025 19:21 2m 4s
Adding a rule for exactInstance of final types. (fixes #3389) (#3543) CodeQuality #2962: Commit 58c9816 pushed by github-merge-queue bot
February 24, 2025 12:10 2m 0s main
main
February 24, 2025 12:10 2m 0s
CodeQuality CodeQuality #2961: Merge group checks requested
February 24, 2025 11:01 2m 2s
February 24, 2025 11:01 2m 2s
Restoration of the formatter for KEY files CodeQuality #2960: Pull request #3494 synchronize by mattulbrich
February 24, 2025 10:21 1m 43s weigl/keyformat
weigl/keyformat
February 24, 2025 10:21 1m 43s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2959: Pull request #3543 synchronize by mattulbrich
February 24, 2025 09:53 2m 0s mattulbrich:fix3389
mattulbrich:fix3389
February 24, 2025 09:53 2m 0s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2958: Pull request #3543 synchronize by mattulbrich
February 24, 2025 09:52 2m 5s mattulbrich:fix3389
mattulbrich:fix3389
February 24, 2025 09:52 2m 5s
Cleanup: Use Standard Tech for Test Fixtures CodeQuality #2957: Pull request #3551 synchronize by wadoon
February 24, 2025 00:41 2m 9s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 24, 2025 00:41 2m 9s
Restoration of the formatter for KEY files CodeQuality #2956: Pull request #3494 synchronize by wadoon
February 23, 2025 23:52 1m 42s weigl/keyformat
weigl/keyformat
February 23, 2025 23:52 1m 42s
Fix line number alignment in SMT interface (#3559) CodeQuality #2955: Commit ea7e633 pushed by github-merge-queue bot
February 23, 2025 23:32 2m 9s main
main
February 23, 2025 23:32 2m 9s
CodeQuality CodeQuality #2954: Merge group checks requested
February 23, 2025 22:22 2m 5s
February 23, 2025 22:22 2m 5s
Introducing some structure for model method bodies CodeQuality #2953: Pull request #3571 synchronize by mattulbrich
February 23, 2025 21:59 1m 58s mattulbrich:structuredModelMethods
mattulbrich:structuredModelMethods
February 23, 2025 21:59 1m 58s
Introducing some structure for model method bodies CodeQuality #2952: Pull request #3571 opened by mattulbrich
February 23, 2025 21:55 2m 1s mattulbrich:structuredModelMethods
mattulbrich:structuredModelMethods
February 23, 2025 21:55 2m 1s
Cleanup: Use Standard Tech for Test Fixtures CodeQuality #2951: Pull request #3551 synchronize by wadoon
February 23, 2025 20:30 2m 4s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 23, 2025 20:30 2m 4s
Cleanup: Use Standard Tech for Test Fixtures CodeQuality #2950: Pull request #3551 synchronize by wadoon
February 23, 2025 20:05 2m 22s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 23, 2025 20:05 2m 22s