Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Broad Release Tests Broad Release Tests #2: Scheduled
6h 5m 10s main
main
6h 5m 10s
Weekly Builds of KeY Weekly Builds of KeY #191: Scheduled
7m 8s main
main
7m 8s
Bump the gradle-deps group across 1 directory with 7 updates (#3815) Tests #4508: Commit 17e9fe5 pushed by github-merge-queue Bot
41m 50s main
main
41m 50s
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
Tests Tests #4507: Merge group checks requested
41m 17s
41m 17s
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 Tests #4506: Pull request #3815 synchronize by wadoon
41m 38s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
41m 38s
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
Bump the gradle-deps group across 1 directory with 7 updates Tests #4505: Pull request #3815 opened by dependabot Bot
43m 45s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
43m 45s
gradle in / for io.github.eisop:checker-qual, io.github.eisop:checker-util, io.github.eisop:checker, io.github.eisop:checker-util, io.github.eisop:checker, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, org.sonarqube, gradle-wrapper - Update #1345239055 Dependabot Updates #156: by dependabot Bot
1m 21s main
main
1m 21s
Update Gradle version to 9.5 and deprecated method replacements (#3813) Tests #4504: Commit 3dee51d pushed by github-merge-queue Bot
34m 23s main
main
34m 23s
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
Tests Tests #4503: Merge group checks requested
43m 6s
43m 6s
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
Create a JSON-RPC for KeY Tests #4502: Pull request #3303 synchronize by wadoon
7m 26s weigl/jsonrpc
weigl/jsonrpc
7m 26s
Update the InfoTree component Tests #4501: Pull request #3786 synchronize by wadoon
46m 15s weigl/infotree
weigl/infotree
46m 15s
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
MetaSpace for documentation and origin Tests #4500: Pull request #3787 synchronize by wadoon
44m 35s weigl/metaspace
weigl/metaspace
44m 35s
Options Panel in Load Dialog. Options in Recent Files Tests #4499: Pull request #3788 synchronize by wadoon
43m 55s weigl/loadoptionpanel
weigl/loadoptionpanel
43m 55s
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 Tests #4498: Pull request #3802 synchronize by wadoon
42m 58s weigl/codecov
weigl/codecov
42m 58s
Remove codecov from CI CodeQuality #4577: Pull request #3802 synchronize by wadoon
2m 52s weigl/codecov
weigl/codecov
2m 52s