Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,520 workflow runs
1,520 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
Bump the gradle-deps group across 1 directory with 7 updates (#3815) CodeQuality #4587: Commit 17e9fe5 pushed by github-merge-queue Bot
2m 29s main
main
2m 29s
CodeQuality CodeQuality #4586: Merge group checks requested
2m 2s
2m 2s
Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #4585: Pull request #3815 synchronize by wadoon
2m 10s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
2m 10s
Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #4584: Pull request #3815 opened by dependabot Bot
2m 18s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
2m 18s
Update Gradle version to 9.5 and deprecated method replacements (#3813) CodeQuality #4583: Commit 3dee51d pushed by github-merge-queue Bot
2m 40s main
main
2m 40s
CodeQuality CodeQuality #4582: Merge group checks requested
2m 34s
2m 34s
Create a JSON-RPC for KeY CodeQuality #4581: Pull request #3303 synchronize by wadoon
3m 7s weigl/jsonrpc
weigl/jsonrpc
3m 7s
Update the InfoTree component CodeQuality #4580: Pull request #3786 synchronize by wadoon
5m 1s weigl/infotree
weigl/infotree
5m 1s
MetaSpace for documentation and origin CodeQuality #4579: Pull request #3787 synchronize by wadoon
4m 28s weigl/metaspace
weigl/metaspace
4m 28s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4578: Pull request #3788 synchronize by wadoon
2m 45s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 45s
Remove codecov from CI CodeQuality #4577: Pull request #3802 synchronize by wadoon
2m 52s weigl/codecov
weigl/codecov
2m 52s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4576: Pull request #3803 synchronize by wadoon
2m 50s weigl/javaastenums
weigl/javaastenums
2m 50s
Generation of Java AST classes CodeQuality #4575: Pull request #3809 synchronize by wadoon
2m 8s weigl/javaastgen
weigl/javaastgen
2m 8s
Proof Scripts in JML CodeQuality #4574: Pull request #3657 synchronize by wadoon
2m 37s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 37s
Proof Scripts in JML CodeQuality #4573: Pull request #3657 synchronize by wadoon
2m 31s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 31s
Proof Scripts in JML CodeQuality #4572: Pull request #3657 synchronize by wadoon
2m 19s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 19s
Bump the gradle-deps group with 8 updates CodeQuality #4571: Pull request #3814 opened by dependabot Bot
2m 35s dependabot/gradle/gradle-deps-8eb2b48940
dependabot/gradle/gradle-deps-8eb2b48940
2m 35s
Proof Scripts in JML CodeQuality #4570: Pull request #3657 synchronize by wadoon
2m 7s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 7s
Fix bug in ProofManagementDialog (#3812) CodeQuality #4569: Commit 123ca74 pushed by github-merge-queue Bot
2m 56s main
main
2m 56s
CodeQuality CodeQuality #4568: Merge group checks requested
2m 49s
2m 49s
CodeQuality CodeQuality #4567: Merge group checks requested
2m 40s
2m 40s
Fix bug in ProofManagementDialog CodeQuality #4566: Pull request #3812 synchronize by unp1
2m 42s fixProofObligationBrowser
fixProofObligationBrowser
2m 42s
Update Gradle version to 9.5 and deprecated method replacements CodeQuality #4565: Pull request #3813 synchronize by unp1
2m 30s updateGradle
updateGradle
2m 30s
Update Gradle version to 9.5 and deprecated method replacements CodeQuality #4564: Pull request #3813 synchronize by unp1
2m 33s updateGradle
updateGradle
2m 33s
Update Gradle version to 9.5 and deprecated method replacements CodeQuality #4563: Pull request #3813 opened by unp1
2m 38s updateGradle
updateGradle
2m 38s