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

Improved treatment of final fields CodeQuality #2949: Pull request #3495 synchronize by mattulbrich
February 23, 2025 19:36 2m 0s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 23, 2025 19:36 2m 0s
Restoration of the formatter for KEY files CodeQuality #2948: Pull request #3494 synchronize by mattulbrich
February 23, 2025 18:51 2m 16s weigl/keyformat
weigl/keyformat
February 23, 2025 18:51 2m 16s
Use a custom Github action for setting up the SMT solvers CodeQuality #2947: Pull request #3569 synchronize by wadoon
February 23, 2025 18:48 2m 1s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:48 2m 1s
Use a custom Github action for setting up the SMT solvers CodeQuality #2946: Pull request #3569 synchronize by wadoon
February 23, 2025 18:08 2m 3s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:08 2m 3s
Use a custom Github action for setting up the SMT solvers CodeQuality #2945: Pull request #3569 synchronize by wadoon
February 23, 2025 18:02 2m 4s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:02 2m 4s
Use a custom Github action for setting up the SMT solvers CodeQuality #2944: Pull request #3569 synchronize by wadoon
February 23, 2025 17:56 2m 0s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 17:56 2m 0s
Use a custom Github action for setting up the SMT solvers CodeQuality #2943: Pull request #3569 opened by wadoon
February 23, 2025 17:53 2m 8s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 17:53 2m 8s
Improved treatment of final fields CodeQuality #2942: Pull request #3495 synchronize by mattulbrich
February 23, 2025 15:31 1m 32s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 23, 2025 15:31 1m 32s
Improved treatment of final fields CodeQuality #2941: Pull request #3495 synchronize by mattulbrich
February 22, 2025 14:27 2m 0s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 14:27 2m 0s
Improved treatment of final fields CodeQuality #2940: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:33 2m 4s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:33 2m 4s
Improved treatment of final fields CodeQuality #2939: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:18 2m 15s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:18 2m 15s
Improved treatment of final fields CodeQuality #2938: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:17 2m 4s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:17 2m 4s
Fix #3563 (#3566) CodeQuality #2937: Commit dfc5b50 pushed by github-merge-queue bot
February 22, 2025 12:43 2m 9s main
main
February 22, 2025 12:43 2m 9s
CodeQuality CodeQuality #2936: Merge group checks requested
February 22, 2025 11:35 2m 2s
February 22, 2025 11:35 2m 2s
Adding a rule for exactInstance of final types. (fixes #3389) CodeQuality #2935: Pull request #3543 synchronize by mattulbrich
February 22, 2025 09:47 2m 9s mattulbrich:fix3389
mattulbrich:fix3389
February 22, 2025 09:47 2m 9s
fix #3553 (#3560) CodeQuality #2934: Commit b0053a0 pushed by github-merge-queue bot
February 21, 2025 12:16 2m 2s main
main
February 21, 2025 12:16 2m 2s
CodeQuality CodeQuality #2933: Merge group checks requested
February 21, 2025 11:07 2m 3s
February 21, 2025 11:07 2m 3s
Add resolves keyword to PR template (#3568) CodeQuality #2932: Commit 8bd192a pushed by github-merge-queue bot
February 21, 2025 10:38 2m 0s main
main
February 21, 2025 10:38 2m 0s
fix #3553 CodeQuality #2931: Pull request #3560 synchronize by MarcoScaletta
February 21, 2025 10:00 2m 2s MarcoScaletta:main
MarcoScaletta:main
February 21, 2025 10:00 2m 2s
fix #3553 CodeQuality #2930: Pull request #3560 synchronize by MarcoScaletta
February 21, 2025 09:58 2m 7s MarcoScaletta:main
MarcoScaletta:main
February 21, 2025 09:58 2m 7s
CodeQuality CodeQuality #2929: Merge group checks requested
February 21, 2025 09:30 2m 10s
February 21, 2025 09:30 2m 10s
Add resolves keyword to PR template CodeQuality #2928: Pull request #3568 opened by frereit
February 21, 2025 08:23 2m 0s frereit:pr-template-closes
frereit:pr-template-closes
February 21, 2025 08:23 2m 0s
Cleanup: Removal of key.api package (#3550) CodeQuality #2927: Commit 0e4a43a pushed by github-merge-queue bot
February 20, 2025 23:17 2m 12s main
main
February 20, 2025 23:17 2m 12s
Fix/Improve KeY example application (#3562) CodeQuality #2926: Commit ad5c84f pushed by github-merge-queue bot
February 20, 2025 22:18 2m 27s main
main
February 20, 2025 22:18 2m 27s
CodeQuality CodeQuality #2925: Merge group checks requested
February 20, 2025 22:05 2m 7s
February 20, 2025 22:05 2m 7s