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

Fix for issue #3158 CodeQuality #1138: Pull request #3224 synchronize by unp1
July 25, 2023 14:52 4m 27s fix3158
fix3158
July 25, 2023 14:52 4m 27s
Fix for issue #3158 CodeQuality #1137: Pull request #3224 synchronize by unp1
July 25, 2023 11:57 21m 22s fix3158
fix3158
July 25, 2023 11:57 21m 22s
Fix for issue #3158 CodeQuality #1136: Pull request #3224 synchronize by unp1
July 25, 2023 11:48 3m 57s fix3158
fix3158
July 25, 2023 11:48 3m 57s
Fixes a NullPointerException when the configuration files for the "Recent Files" feature is not yet created CodeQuality #1135: Pull request #3225 opened by unp1
July 25, 2023 11:37 3m 32s fixNPERecentFiles
fixNPERecentFiles
July 25, 2023 11:37 3m 32s
Fix for issue #3158 CodeQuality #1134: Pull request #3224 opened by unp1
July 25, 2023 11:33 4m 31s fix3158
fix3158
July 25, 2023 11:33 4m 31s
Update LICENSE.TXT to reflect GPL-2.0-only CodeQuality #1133: Pull request #3223 opened by FliegendeWurst
July 25, 2023 10:42 4m 8s FliegendeWurst:patch-2
FliegendeWurst:patch-2
July 25, 2023 10:42 4m 8s
Fix various UI bugs CodeQuality #1132: Pull request #3216 synchronize by FliegendeWurst
July 25, 2023 07:29 5m 8s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 25, 2023 07:29 5m 8s
Print real condition in if labels CodeQuality #1131: Pull request #3222 opened by FliegendeWurst
July 25, 2023 07:12 5m 2s FliegendeWurst:ifLabel
FliegendeWurst:ifLabel
July 25, 2023 07:12 5m 2s
Bump org.junit.jupiter:junit-jupiter-api from 5.9.3 to 5.10.0 CodeQuality #1130: Pull request #3221 opened by dependabot bot
July 24, 2023 20:52 54m 16s dependabot/gradle/org.junit.jupiter-junit-jupiter-api-5.10.0
dependabot/gradle/org.junit.jupiter-junit-jupiter-api-5.10.0
July 24, 2023 20:52 54m 16s
Bump org.junit.jupiter:junit-jupiter-engine from 5.9.3 to 5.10.0 CodeQuality #1129: Pull request #3220 opened by dependabot bot
July 24, 2023 20:52 44m 19s dependabot/gradle/org.junit.jupiter-junit-jupiter-engine-5.10.0
dependabot/gradle/org.junit.jupiter-junit-jupiter-engine-5.10.0
July 24, 2023 20:52 44m 19s
Bump com.diffplug.spotless from 6.16.0 to 6.20.0 CodeQuality #1128: Pull request #3219 opened by dependabot bot
July 24, 2023 20:52 25m 5s dependabot/gradle/com.diffplug.spotless-6.20.0
dependabot/gradle/com.diffplug.spotless-6.20.0
July 24, 2023 20:52 25m 5s
Bump org.junit.vintage:junit-vintage-engine from 5.9.3 to 5.10.0 CodeQuality #1127: Pull request #3218 opened by dependabot bot
July 24, 2023 20:52 4m 52s dependabot/gradle/org.junit.vintage-junit-vintage-engine-5.10.0
dependabot/gradle/org.junit.vintage-junit-vintage-engine-5.10.0
July 24, 2023 20:52 4m 52s
Bump org.junit.jupiter:junit-jupiter-params from 5.9.3 to 5.10.0 CodeQuality #1126: Pull request #3217 opened by dependabot bot
July 24, 2023 20:52 4m 55s dependabot/gradle/org.junit.jupiter-junit-jupiter-params-5.10.0
dependabot/gradle/org.junit.jupiter-junit-jupiter-params-5.10.0
July 24, 2023 20:52 4m 55s
Fix various UI bugs CodeQuality #1125: Pull request #3216 synchronize by FliegendeWurst
July 24, 2023 16:24 4m 19s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 24, 2023 16:24 4m 19s
Fix various UI bugs CodeQuality #1124: Pull request #3216 synchronize by FliegendeWurst
July 24, 2023 11:07 4m 19s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 24, 2023 11:07 4m 19s
Fix various UI bugs CodeQuality #1123: Pull request #3216 synchronize by FliegendeWurst
July 24, 2023 08:15 6m 23s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 24, 2023 08:15 6m 23s
Overloaded Operators for KeY lang CodeQuality #1122: Pull request #3032 synchronize by wadoon
July 24, 2023 00:33 7m 58s wadoon:weigl/overop
wadoon:weigl/overop
July 24, 2023 00:33 7m 58s
fixate bash as shell for dlsmt.sh CodeQuality #1121: Pull request #3213 synchronize by wadoon
July 23, 2023 12:29 3m 57s weigl/testos
weigl/testos
July 23, 2023 12:29 3m 57s
Fix various UI bugs CodeQuality #1120: Pull request #3216 synchronize by FliegendeWurst
July 22, 2023 20:41 4m 15s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 22, 2023 20:41 4m 15s
The Removal of Recoder CodeQuality #1119: Pull request #3120 synchronize by wadoon
July 22, 2023 14:49 34m 12s weigl/key-javaparser3
weigl/key-javaparser3
July 22, 2023 14:49 34m 12s
The Removal of Recoder CodeQuality #1118: Pull request #3120 synchronize by wadoon
July 22, 2023 14:49 37m 1s weigl/key-javaparser3
weigl/key-javaparser3
July 22, 2023 14:49 37m 1s
ADTs for KeY CodeQuality #1117: Pull request #3161 synchronize by wadoon
July 22, 2023 13:54 40m 53s wadoon:weigl/datatype
wadoon:weigl/datatype
July 22, 2023 13:54 40m 53s
fixate bash as shell for dlsmt.sh CodeQuality #1116: Pull request #3213 synchronize by wadoon
July 22, 2023 13:42 18m 55s weigl/testos
weigl/testos
July 22, 2023 13:42 18m 55s
The Removal of Recoder CodeQuality #1115: Pull request #3120 synchronize by wadoon
July 22, 2023 13:38 17m 35s weigl/key-javaparser3
weigl/key-javaparser3
July 22, 2023 13:38 17m 35s
Fix various UI bugs CodeQuality #1114: Pull request #3216 synchronize by FliegendeWurst
July 22, 2023 13:18 15m 31s FliegendeWurst:chaosMonkey
FliegendeWurst:chaosMonkey
July 22, 2023 13:18 15m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-07-22 or the other filters available.