Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,151 workflow runs
2,151 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
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
Add support for generation of varcond documentation CodeQuality #5648: Pull request #3977 synchronize by wadoon
2m 34s weigl/varconddoc
weigl/varconddoc
2m 34s
Add support for generation of varcond documentation CodeQuality #5647: Pull request #3977 synchronize by wadoon
2m 18s weigl/varconddoc
weigl/varconddoc
2m 18s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5646: Pull request #3981 synchronize by unp1
2m 33s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
2m 33s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5645: Pull request #3981 synchronize by unp1
2m 22s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
2m 22s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5644: Pull request #3981 synchronize by unp1
2m 33s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
2m 33s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5643: Pull request #3981 synchronize by unp1
2m 31s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
2m 31s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5642: Pull request #3981 opened by unp1
2m 17s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
2m 17s
Support for <expr> instanceof <Type> <var> CodeQuality #5641: Pull request #3976 synchronize by wadoon
2m 27s weigl/instanceof
weigl/instanceof
2m 27s
Add support for generation of varcond documentation CodeQuality #5640: Pull request #3977 synchronize by wadoon
2m 27s weigl/varconddoc
weigl/varconddoc
2m 27s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #5639: Pull request #3676 synchronize by wadoon
2m 25s fix3670
fix3670
2m 25s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #5638: Pull request #3676 synchronize by wadoon
2m 29s fix3670
fix3670
2m 29s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #5637: Pull request #3676 synchronize by wadoon
2m 21s fix3670
fix3670
2m 21s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #5636: Pull request #3676 synchronize by wadoon
2m 36s fix3670
fix3670
2m 36s
Tweaks for Immutable* data structures (#3979) CodeQuality #5635: Commit 605011b pushed by github-merge-queue Bot
2m 42s main
main
2m 42s