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
Genration of Java AST classes Tests #4457: Pull request #3809 synchronize by wadoon
1m 36s weigl/javaastgen
weigl/javaastgen
1m 36s
Genration of Java AST classes CodeQuality #4536: Pull request #3809 synchronize by wadoon
1m 4s weigl/javaastgen
weigl/javaastgen
1m 4s
Genration of Java AST classes CodeQuality #4535: Pull request #3809 opened by wadoon
1m 3s weigl/javaastgen
weigl/javaastgen
1m 3s
Genration of Java AST classes Tests #4456: Pull request #3809 opened by wadoon
1m 40s weigl/javaastgen
weigl/javaastgen
1m 40s
Universe Type Rules Tests #4455: Pull request #3724 synchronize by PiIsRational
In progress PiIsRational:ut-integration
PiIsRational:ut-integration
In progress
Universe Type Rules CodeQuality #4534: Pull request #3724 synchronize by PiIsRational
2m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 35s
Universe Type Rules CodeQuality #4533: Pull request #3724 synchronize by PiIsRational
2m 17s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 17s
Universe Type Rules Tests #4454: Pull request #3724 synchronize by PiIsRational
6h 5m 3s PiIsRational:ut-integration
PiIsRational:ut-integration
6h 5m 3s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4453: Pull request #3803 synchronize by wadoon
20m 28s weigl/javaastenums
weigl/javaastenums
20m 28s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4532: Pull request #3803 synchronize by wadoon
2m 33s weigl/javaastenums
weigl/javaastenums
2m 33s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4531: Pull request #3803 synchronize by wadoon
2m 26s weigl/javaastenums
weigl/javaastenums
2m 26s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4452: Pull request #3803 synchronize by wadoon
24m 45s weigl/javaastenums
weigl/javaastenums
24m 45s
Bump the gradle-deps group with 3 updates (#3807) Tests #4451: Commit 7c612a5 pushed by github-merge-queue bot
42m 39s main
main
42m 39s
Bump the gradle-deps group with 3 updates (#3807) CodeQuality #4530: Commit 7c612a5 pushed by github-merge-queue bot
2m 45s main
main
2m 45s
github_actions in /. - Update #1328404458 Dependabot Updates #152: by dependabot bot
52s main
main
52s
github_actions in / for keyproject/setup-smt - Update #1328398454 Dependabot Updates #151: by dependabot bot
54s main
main
54s
gradle in / for org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310 - Update #1328396832 Dependabot Updates #150: by dependabot bot
2m 3s main
main
2m 3s
Tests Tests #4450: Merge group checks requested
43m 43s
43m 43s
CodeQuality CodeQuality #4529: Merge group checks requested
2m 12s
2m 12s
Bump keyproject/setup-smt from 0 to 3 in the github-actions-deps group Tests #4449: Pull request #3808 opened by dependabot bot
44m 30s dependabot/github_actions/github-actions-deps-7397d42a2e
dependabot/github_actions/github-actions-deps-7397d42a2e
44m 30s
Bump keyproject/setup-smt from 0 to 3 in the github-actions-deps group CodeQuality #4528: Pull request #3808 opened by dependabot bot
2m 32s dependabot/github_actions/github-actions-deps-7397d42a2e
dependabot/github_actions/github-actions-deps-7397d42a2e
2m 32s
github_actions in /. - Update #1328392932 Dependabot Updates #149: by dependabot bot
59s main
main
59s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4448: Pull request #3803 synchronize by wadoon
26m 7s weigl/javaastenums
weigl/javaastenums
26m 7s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4527: Pull request #3803 synchronize by wadoon
2m 20s weigl/javaastenums
weigl/javaastenums
2m 20s
Bump the gradle-deps group with 3 updates CodeQuality #4526: Pull request #3807 opened by dependabot bot
2m 17s dependabot/gradle/gradle-deps-677914881f
dependabot/gradle/gradle-deps-677914881f
2m 17s