Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removal of Triple, and Quadruple CodeQuality #2539: Pull request #3399 synchronize by wadoon
June 26, 2024 16:27 2m 8s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
June 26, 2024 16:27 2m 8s
Renovation of the TestCase generation CodeQuality #2538: Pull request #3388 synchronize by wadoon
June 26, 2024 16:25 2m 8s weigl/testgen
weigl/testgen
June 26, 2024 16:25 2m 8s
Overflow follow up fix (#3490) CodeQuality #2537: Commit 4c2906a pushed by github-merge-queue bot
June 26, 2024 15:01 7m 21s main
main
June 26, 2024 15:01 7m 21s
Package structured reworked for sealed packages CodeQuality #2536: Pull request #3473 synchronize by wadoon
June 26, 2024 14:13 2m 1s weigl/pckgreworked
weigl/pckgreworked
June 26, 2024 14:13 2m 1s
Create a JSON-RPC for KeY CodeQuality #2535: Pull request #3303 synchronize by wadoon
June 26, 2024 14:12 2m 0s weigl/jsonrpc
weigl/jsonrpc
June 26, 2024 14:12 2m 0s
CodeQuality CodeQuality #2534: Merge group checks requested
June 26, 2024 13:54 8m 41s
June 26, 2024 13:54 8m 41s
Lukas tracing CodeQuality #2533: Pull request #3491 opened by lks9
June 26, 2024 12:58 2m 4s LukasTracing
LukasTracing
June 26, 2024 12:58 2m 4s
Overflow follow up fix CodeQuality #2532: Pull request #3490 synchronize by WolframPfeifer
June 26, 2024 10:46 2m 0s pfeifer/anotherOverflowFix
pfeifer/anotherOverflowFix
June 26, 2024 10:46 2m 0s
Realize generic navigation structure (#3472) CodeQuality #2531: Commit ed267fd pushed by github-merge-queue bot
June 26, 2024 08:46 7m 46s main
main
June 26, 2024 08:46 7m 46s
CodeQuality CodeQuality #2530: Merge group checks requested
June 26, 2024 07:38 8m 27s
June 26, 2024 07:38 8m 27s
Overflow follow up fix CodeQuality #2529: Pull request #3490 opened by WolframPfeifer
June 25, 2024 16:49 1m 59s pfeifer/anotherOverflowFix
pfeifer/anotherOverflowFix
June 25, 2024 16:49 1m 59s
Create a JSON-RPC for KeY CodeQuality #2528: Pull request #3303 synchronize by wadoon
June 25, 2024 13:31 1m 57s weigl/jsonrpc
weigl/jsonrpc
June 25, 2024 13:31 1m 57s
Exploiting JML Names in the Proof Tree CodeQuality #2527: Pull request #3022 synchronize by wadoon
June 25, 2024 13:31 1m 3s wadoon:weigl/jmlnames
wadoon:weigl/jmlnames
June 25, 2024 13:31 1m 3s
Re-enable sonarqube for quality assessment CodeQuality #2526: Pull request #3488 synchronize by wadoon
June 25, 2024 13:28 1m 48s weigl/codequality
weigl/codequality
June 25, 2024 13:28 1m 48s
More general equalsModProperty CodeQuality #2525: Pull request #3459 synchronize by Drodt
June 25, 2024 10:01 2m 3s tobias-rnh:more-general-equalsModProperty
tobias-rnh:more-general-equalsModProperty
June 25, 2024 10:01 2m 3s
Realize generic navigation structure CodeQuality #2524: Pull request #3472 synchronize by Drodt
June 25, 2024 09:37 1m 51s Drodt:traversal
Drodt:traversal
June 25, 2024 09:37 1m 51s
Fixed operator replacements in WD taclets after changes in PR #3436 (… CodeQuality #2523: Commit a442cdf pushed by github-merge-queue bot
June 24, 2024 17:23 7m 26s main
main
June 24, 2024 17:23 7m 26s
CodeQuality CodeQuality #2522: Merge group checks requested
June 24, 2024 16:17 9m 11s
June 24, 2024 16:17 9m 11s
Fixed operator replacements in WD taclets after changes in PR #3436 CodeQuality #2521: Pull request #3484 synchronize by mi-ki
June 24, 2024 15:09 2m 10s kirstenFixWelldefinednessCheck
kirstenFixWelldefinednessCheck
June 24, 2024 15:09 2m 10s
Fix overflow checking (#3353) CodeQuality #2520: Commit 64126d9 pushed by github-merge-queue bot
June 24, 2024 14:34 7m 27s main
main
June 24, 2024 14:34 7m 27s
Renovation of the TestCase generation CodeQuality #2519: Pull request #3388 synchronize by wadoon
June 24, 2024 13:33 9m 51s weigl/testgen
weigl/testgen
June 24, 2024 13:33 9m 51s
Fixed operator replacements in WD taclets after changes in PR #3436 CodeQuality #2518: Pull request #3484 synchronize by mi-ki
June 24, 2024 13:32 8m 45s kirstenFixWelldefinednessCheck
kirstenFixWelldefinednessCheck
June 24, 2024 13:32 8m 45s
CodeQuality CodeQuality #2517: Merge group checks requested
June 24, 2024 13:28 9m 12s
June 24, 2024 13:28 9m 12s
Exploiting JML Names in the Proof Tree CodeQuality #2516: Pull request #3022 synchronize by wadoon
June 24, 2024 13:25 1m 14s wadoon:weigl/jmlnames
wadoon:weigl/jmlnames
June 24, 2024 13:25 1m 14s
Exploiting JML Names in the Proof Tree CodeQuality #2515: Pull request #3022 synchronize by wadoon
June 24, 2024 13:24 1m 50s wadoon:weigl/jmlnames
wadoon:weigl/jmlnames
June 24, 2024 13:24 1m 50s