Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #2993: Pull request #3576 opened by dependabot bot
March 1, 2025 20:06 2m 0s dependabot/gradle/gradle-deps-090e9e8e26
dependabot/gradle/gradle-deps-090e9e8e26
March 1, 2025 20:06 2m 0s
Improved treatment of final fields CodeQuality #2992: Pull request #3495 synchronize by mattulbrich
March 1, 2025 15:48 2m 2s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
March 1, 2025 15:48 2m 2s
highlight current line in issue editor pane (#3573) CodeQuality #2991: Commit 4ef708f pushed by github-merge-queue bot
February 28, 2025 16:25 2m 53s main
main
February 28, 2025 16:25 2m 53s
Use a custom Github action for setting up the SMT solvers CodeQuality #2990: Pull request #3569 synchronize by wadoon
February 28, 2025 15:27 2m 20s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 15:27 2m 20s
CodeQuality CodeQuality #2989: Merge group checks requested
February 28, 2025 15:18 2m 8s
February 28, 2025 15:18 2m 8s
JmlLexer w/o expr mode CodeQuality #2988: Pull request #3572 synchronize by wadoon
February 28, 2025 15:04 2m 9s weigl/lexerwomodes
weigl/lexerwomodes
February 28, 2025 15:04 2m 9s
Use a custom Github action for setting up the SMT solvers CodeQuality #2987: Pull request #3569 synchronize by wadoon
February 28, 2025 14:36 2m 1s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:36 2m 1s
Use a custom Github action for setting up the SMT solvers CodeQuality #2986: Pull request #3569 synchronize by wadoon
February 28, 2025 14:35 2m 10s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:35 2m 10s
Add documentation for soundDefaultContracts feature (#3574) CodeQuality #2985: Commit 9062741 pushed by github-merge-queue bot
February 28, 2025 14:03 1m 57s main
main
February 28, 2025 14:03 1m 57s
Use a custom Github action for setting up the SMT solvers CodeQuality #2984: Pull request #3569 synchronize by wadoon
February 28, 2025 14:02 2m 1s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:02 2m 1s
Improved treatment of final fields CodeQuality #2983: Pull request #3495 synchronize by mattulbrich
February 28, 2025 13:23 2m 3s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 28, 2025 13:23 2m 3s
Improved treatment of final fields CodeQuality #2982: Pull request #3495 synchronize by mattulbrich
February 28, 2025 13:01 1m 56s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 28, 2025 13:01 1m 56s
CodeQuality CodeQuality #2981: Merge group checks requested
February 28, 2025 12:55 1m 59s
February 28, 2025 12:55 1m 59s
JmlLexer w/o expr mode CodeQuality #2980: Pull request #3572 synchronize by wadoon
February 28, 2025 12:50 2m 10s weigl/lexerwomodes
weigl/lexerwomodes
February 28, 2025 12:50 2m 10s
Use a custom Github action for setting up the SMT solvers CodeQuality #2979: Pull request #3569 synchronize by wadoon
February 27, 2025 21:01 1m 57s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 21:01 1m 57s
Use a custom Github action for setting up the SMT solvers CodeQuality #2978: Pull request #3569 synchronize by wadoon
February 27, 2025 19:18 2m 10s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 19:18 2m 10s
Use a custom Github action for setting up the SMT solvers CodeQuality #2977: Pull request #3569 synchronize by wadoon
February 27, 2025 18:52 2m 9s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 18:52 2m 9s
Add documentation for soundDefaultContracts feature CodeQuality #2976: Pull request #3574 opened by flo2702
February 27, 2025 17:42 2m 7s flo2702:hackeythonUnknownMethodsDoc
flo2702:hackeythonUnknownMethodsDoc
February 27, 2025 17:42 2m 7s
Improved treatment of final fields CodeQuality #2975: Pull request #3495 synchronize by mattulbrich
February 27, 2025 17:25 2m 2s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 27, 2025 17:25 2m 2s
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