Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,120 workflow runs
2,120 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Generation of Java AST classes CodeQuality #5673: Pull request #3809 synchronize by wadoon
1m 57s weigl/javaastgen
weigl/javaastgen
1m 57s
Add slim shadowJar variant for key.ui and fix dist build CodeQuality #5672: Pull request #3987 opened by wadoon
2m 10s weigl/dist
weigl/dist
2m 10s
Generation of Java AST classes CodeQuality #5671: Pull request #3809 synchronize by wadoon
1m 27s weigl/javaastgen
weigl/javaastgen
1m 27s
Support for <expr> instanceof <Type> <var> CodeQuality #5670: Pull request #3976 synchronize by wadoon
2m 33s weigl/instanceof
weigl/instanceof
2m 33s
Relicense KeY from GPLv2-only to GPLv2-or-later CodeQuality #5669: Pull request #3986 opened by wadoon
2m 23s weigl/gpl2+
weigl/gpl2+
2m 23s
Universe Type Rules CodeQuality #5668: Pull request #3724 synchronize by PiIsRational
2m 21s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 21s
Universe Type Rules CodeQuality #5667: Pull request #3724 synchronize by PiIsRational
2m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 35s
Quantifier and Heap Reasoning Improvements (#3961) CodeQuality #5666: Commit 41e92e0 pushed by github-merge-queue Bot
2m 8s main
main
2m 8s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5665: Pull request #3981 synchronize by Drodt
1m 57s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
1m 57s
CodeQuality CodeQuality #5664: Merge group checks requested
2m 26s
2m 26s
Quantifier and Heap Reasoning Improvements CodeQuality #5663: Pull request #3961 synchronize by Drodt
2m 39s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 39s
Migrate to JMLtk CodeQuality #5662: Pull request #3966 synchronize by wadoon
2m 33s weigl/jmltk
weigl/jmltk
2m 33s
Add support for generation of varcond documentation CodeQuality #5661: Pull request #3977 synchronize by wadoon
2m 22s weigl/varconddoc
weigl/varconddoc
2m 22s
remove Main.getWorkingDir() CodeQuality #5660: Pull request #3982 synchronize by wadoon
2m 20s weigl/mwrun
weigl/mwrun
2m 20s
Universe Type Rules CodeQuality #5659: Pull request #3724 synchronize by PiIsRational
2m 14s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 14s
Bump the gradle-deps group with 5 updates (#3984) CodeQuality #5658: Commit 3cab609 pushed by github-merge-queue Bot
2m 47s main
main
2m 47s
Bump actions/setup-java from 5.7.0 to 6.0.0 in the github-actions-dep… CodeQuality #5657: Commit afd18c5 pushed by github-merge-queue Bot
2m 53s main
main
2m 53s
CodeQuality CodeQuality #5656: Merge group checks requested
1m 47s
1m 47s
CodeQuality CodeQuality #5655: Merge group checks requested
2m 30s
2m 30s
Quantifier and Heap Reasoning Improvements CodeQuality #5654: Pull request #3961 synchronize by unp1
2m 34s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 34s
Bump the gradle-deps group with 5 updates CodeQuality #5653: Pull request #3984 opened by dependabot Bot
2m 24s dependabot/gradle/gradle-deps-30e24199bf
dependabot/gradle/gradle-deps-30e24199bf
2m 24s
Bump actions/setup-java from 5.7.0 to 6.0.0 in the github-actions-deps group CodeQuality #5652: Pull request #3983 opened by dependabot Bot
2m 51s dependabot/github_actions/github-actions-deps-62c522be73
dependabot/github_actions/github-actions-deps-62c522be73
2m 51s
Universe Type Rules CodeQuality #5651: Pull request #3724 synchronize by PiIsRational
2m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 35s
remove Main.getWorkingDir() CodeQuality #5650: Pull request #3982 opened by wadoon
1m 31s weigl/mwrun
weigl/mwrun
1m 31s
Add support for generation of varcond documentation CodeQuality #5649: Pull request #3977 synchronize by wadoon
2m 32s weigl/varconddoc
weigl/varconddoc
2m 32s