Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The Removal of Recoder CodeQuality #1063: Pull request #3120 synchronize by jwiesler
July 17, 2023 11:49 11m 51s weigl/key-javaparser3
weigl/key-javaparser3
July 17, 2023 11:49 11m 51s
Assignable free CodeQuality #1062: Pull request #3188 synchronize by flo2702
July 17, 2023 10:59 22m 48s flo2702:assignableFree
flo2702:assignableFree
July 17, 2023 10:59 22m 48s
Assignable free CodeQuality #1061: Pull request #3188 synchronize by flo2702
July 17, 2023 10:58 5m 34s flo2702:assignableFree
flo2702:assignableFree
July 17, 2023 10:58 5m 34s
Fix for bug with effectless updates CodeQuality #1060: Pull request #3205 opened by WolframPfeifer
July 17, 2023 10:53 4m 18s pfeifer/fixEffectlessUpdate
pfeifer/fixEffectlessUpdate
July 17, 2023 10:53 4m 18s
Fix automode freezing the UI CodeQuality #1059: Pull request #3203 synchronize by FliegendeWurst
July 17, 2023 07:30 4m 34s FliegendeWurst:automodeFixes
FliegendeWurst:automodeFixes
July 17, 2023 07:30 4m 34s
The Removal of Recoder CodeQuality #1058: Pull request #3120 synchronize by wadoon
July 17, 2023 00:39 12m 1s weigl/key-javaparser3
weigl/key-javaparser3
July 17, 2023 00:39 12m 1s
The Removal of Recoder CodeQuality #1057: Pull request #3120 synchronize by wadoon
July 17, 2023 00:05 15m 48s weigl/key-javaparser3
weigl/key-javaparser3
July 17, 2023 00:05 15m 48s
Abbreviations Manager CodeQuality #1056: Pull request #3202 synchronize by wadoon
July 16, 2023 23:01 4m 37s weigl/abbrevmgr
weigl/abbrevmgr
July 16, 2023 23:01 4m 37s
Set statement: Check assignee for validity CodeQuality #1055: Pull request #3195 synchronize by jwiesler
July 16, 2023 21:23 4m 38s setStatement
setStatement
July 16, 2023 21:23 4m 38s
Reduce clutter in toolbar (#3198) CodeQuality #1054: Commit c482269 pushed by github-merge-queue bot
July 15, 2023 20:15 10m 47s main
main
July 15, 2023 20:15 10m 47s
CodeQuality CodeQuality #1053: Merge group checks requested
July 15, 2023 18:49 10m 34s
July 15, 2023 18:49 10m 34s
Reduce clutter in toolbar CodeQuality #1052: Pull request #3198 synchronize by FliegendeWurst
July 15, 2023 16:24 4m 54s FliegendeWurst:toolbarCleanup
FliegendeWurst:toolbarCleanup
July 15, 2023 16:24 4m 54s
Reduce clutter in toolbar CodeQuality #1051: Pull request #3198 synchronize by FliegendeWurst
July 15, 2023 16:14 4m 32s FliegendeWurst:toolbarCleanup
FliegendeWurst:toolbarCleanup
July 15, 2023 16:14 4m 32s
Reduce clutter in toolbar CodeQuality #1050: Pull request #3198 synchronize by FliegendeWurst
July 15, 2023 13:45 4m 13s FliegendeWurst:toolbarCleanup
FliegendeWurst:toolbarCleanup
July 15, 2023 13:45 4m 13s
Builtin rule to lift model methods to updates CodeQuality #1049: Pull request #3162 synchronize by mattulbrich
July 15, 2023 12:41 26m 59s mattulbrich:mu/fix1465
mattulbrich:mu/fix1465
July 15, 2023 12:41 26m 59s
Builtin rule to lift model methods to updates CodeQuality #1048: Pull request #3162 synchronize by mattulbrich
July 15, 2023 12:38 3m 42s mattulbrich:mu/fix1465
mattulbrich:mu/fix1465
July 15, 2023 12:38 3m 42s
Builtin rule to lift model methods to updates CodeQuality #1047: Pull request #3162 synchronize by mattulbrich
July 15, 2023 12:28 3m 49s mattulbrich:mu/fix1465
mattulbrich:mu/fix1465
July 15, 2023 12:28 3m 49s
Builtin rule to lift model methods to updates CodeQuality #1046: Pull request #3162 synchronize by mattulbrich
July 15, 2023 12:20 3m 53s mattulbrich:mu/fix1465
mattulbrich:mu/fix1465
July 15, 2023 12:20 3m 53s
Fix automode freezing the UI CodeQuality #1045: Pull request #3203 opened by FliegendeWurst
July 15, 2023 08:49 4m 24s FliegendeWurst:automodeFixes
FliegendeWurst:automodeFixes
July 15, 2023 08:49 4m 24s
Exploiting JML Names in the Proof Tree CodeQuality #1044: Pull request #3022 synchronize by wadoon
July 14, 2023 17:18 9m 11s wadoon:weigl/jmlnames
wadoon:weigl/jmlnames
July 14, 2023 17:18 9m 11s
Abbreviations Manager CodeQuality #1043: Pull request #3202 synchronize by wadoon
July 14, 2023 17:18 4m 5s weigl/abbrevmgr
weigl/abbrevmgr
July 14, 2023 17:18 4m 5s
Abbreviations Manager CodeQuality #1042: Pull request #3202 opened by wadoon
July 14, 2023 17:14 4m 28s weigl/abbrevmgr
weigl/abbrevmgr
July 14, 2023 17:14 4m 28s
Set statement: Check assignee for validity CodeQuality #1041: Pull request #3195 synchronize by wadoon
July 14, 2023 15:03 5m 21s setStatement
setStatement
July 14, 2023 15:03 5m 21s
Proof Management Command Line Tool (+ small GUI extension) CodeQuality #1040: Pull request #3201 opened by WolframPfeifer
July 14, 2023 14:29 5m 54s pfeiferProofManagement
pfeiferProofManagement
July 14, 2023 14:29 5m 54s
Reduce clutter in toolbar CodeQuality #1039: Pull request #3198 synchronize by FliegendeWurst
July 14, 2023 08:08 4m 25s FliegendeWurst:toolbarCleanup
FliegendeWurst:toolbarCleanup
July 14, 2023 08:08 4m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-07-14 or the other filters available.