Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,094 workflow runs
2,094 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
Add slim shadowJar variant for key.ui and fix dist build (#3987) CodeQuality #5697: Commit 7e92240 pushed by github-merge-queue Bot
2m 14s main
main
2m 14s
CodeQuality CodeQuality #5696: Merge group checks requested
1m 35s
1m 35s
CodeQuality CodeQuality #5695: Merge group checks requested
2m 3s
2m 3s
LLM support in KeY UI CodeQuality #5694: Pull request #3687 synchronize by wadoon
2m 16s weigl/llm
weigl/llm
2m 16s
LLM support in KeY UI CodeQuality #5693: Pull request #3687 synchronize by wadoon
1m 51s weigl/llm
weigl/llm
1m 51s
Generation of Java AST classes CodeQuality #5692: Pull request #3809 synchronize by wadoon
1m 34s weigl/javaastgen
weigl/javaastgen
1m 34s
Add slim shadowJar variant for key.ui and fix dist build CodeQuality #5691: Pull request #3987 synchronize by wadoon
1m 40s weigl/dist
weigl/dist
1m 40s
Add slim shadowJar variant for key.ui and fix dist build CodeQuality #5690: Pull request #3987 synchronize by wadoon
2m 11s weigl/dist
weigl/dist
2m 11s
Add slim shadowJar variant for key.ui and fix dist build CodeQuality #5689: Pull request #3987 synchronize by wadoon
1m 51s weigl/dist
weigl/dist
1m 51s
CodeQuality CodeQuality #5688: Merge group checks requested
2m 23s
2m 23s
Bump the gradle-deps group with 6 updates (#3988) CodeQuality #5687: Commit 3d6a871 pushed by github-merge-queue Bot
2m 36s main
main
2m 36s
CodeQuality CodeQuality #5686: Merge group checks requested
2m 31s
2m 31s
CodeQuality CodeQuality #5685: Merge group checks requested
2m 26s
2m 26s
Bump actions/setup-java from 6.0.0 to 6.0.1 in the github-actions-deps group CodeQuality #5684: Pull request #3989 synchronize by unp1
2m 32s dependabot/github_actions/github-actions-deps-4cf73e6ad1
dependabot/github_actions/github-actions-deps-4cf73e6ad1
2m 32s
Bump the gradle-deps group with 6 updates CodeQuality #5683: Pull request #3988 synchronize by unp1
1m 40s dependabot/gradle/gradle-deps-c7cb057696
dependabot/gradle/gradle-deps-c7cb057696
1m 40s
Fix completeness check (#3990) CodeQuality #5682: Commit 45bafe5 pushed by github-merge-queue Bot
2m 7s main
main
2m 7s
CodeQuality CodeQuality #5681: Merge group checks requested
2m 22s
2m 22s
Fix completeness check CodeQuality #5680: Pull request #3990 synchronize by unp1
2m 19s fixCompletenessCheck
fixCompletenessCheck
2m 19s
Fix completeness check CodeQuality #5679: Pull request #3990 synchronize by unp1
2m 34s fixCompletenessCheck
fixCompletenessCheck
2m 34s
Fix for slicing in case of dynamic taclet applications and renamings … CodeQuality #5678: Commit 8a963ed pushed by github-merge-queue Bot
2m 42s main
main
2m 42s
CodeQuality CodeQuality #5677: Merge group checks requested
2m 37s
2m 37s
Fix completeness check CodeQuality #5676: Pull request #3990 opened by unp1
2m 41s fixCompletenessCheck
fixCompletenessCheck
2m 41s
Bump actions/setup-java from 6.0.0 to 6.0.1 in the github-actions-deps group CodeQuality #5675: Pull request #3989 opened by dependabot Bot
1m 44s dependabot/github_actions/github-actions-deps-4cf73e6ad1
dependabot/github_actions/github-actions-deps-4cf73e6ad1
1m 44s
Bump the gradle-deps group with 6 updates CodeQuality #5674: Pull request #3988 opened by dependabot Bot
3m 4s dependabot/gradle/gradle-deps-c7cb057696
dependabot/gradle/gradle-deps-c7cb057696
3m 4s
Generation of Java AST classes CodeQuality #5673: Pull request #3809 synchronize by wadoon
1m 57s weigl/javaastgen
weigl/javaastgen
1m 57s