Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
1,515 workflow runs
1,515 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
Purge sort depending functions in favor of parametric functions Tests #4464: Pull request #3773 synchronize by Drodt
42m 31s purge-sort-depending-fn
purge-sort-depending-fn
42m 31s
Purge sort depending functions in favor of parametric functions Tests #4463: Pull request #3773 synchronize by Drodt
42m 33s purge-sort-depending-fn
purge-sort-depending-fn
42m 33s
MetaSpace for documentation and origin Tests #4462: Pull request #3787 synchronize by wadoon
43m 36s weigl/metaspace
weigl/metaspace
43m 36s
Update the InfoTree component Tests #4461: Pull request #3786 synchronize by wadoon
43m 38s weigl/infotree
weigl/infotree
43m 38s
Options Panel in Load Dialog. Options in Recent Files Tests #4460: Pull request #3788 synchronize by wadoon
42m 42s weigl/loadoptionpanel
weigl/loadoptionpanel
42m 42s
Fix Path bug Tests #4459: Pull request #3810 opened by wadoon
43m 33s weigl/fixpathbug
weigl/fixpathbug
43m 33s
Genration of Java AST classes Tests #4458: Pull request #3809 synchronize by wadoon
42m 40s weigl/javaastgen
weigl/javaastgen
42m 40s
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 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
6h 5m 4s PiIsRational:ut-integration
PiIsRational:ut-integration
6h 5m 4s
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 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
Tests Tests #4450: Merge group checks requested
43m 43s
43m 43s
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
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
Bump the gradle-deps group with 3 updates Tests #4447: Pull request #3807 opened by dependabot bot
43m 13s dependabot/gradle/gradle-deps-677914881f
dependabot/gradle/gradle-deps-677914881f
43m 13s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4446: Pull request #3803 synchronize by wadoon
24m 26s weigl/javaastenums
weigl/javaastenums
24m 26s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4445: Pull request #3803 synchronize by wadoon
23m 0s weigl/javaastenums
weigl/javaastenums
23m 0s
MetaSpace for documentation and origin Tests #4444: Pull request #3787 synchronize by wadoon
44m 46s weigl/metaspace
weigl/metaspace
44m 46s
Fix naming and renaming issues (#3804) Tests #4443: Commit db52a54 pushed by github-merge-queue bot
43m 11s main
main
43m 11s
Tests Tests #4442: Merge group checks requested
42m 21s
42m 21s
Improve behavior in case of not found methods (#3806) Tests #4441: Commit 8fc6969 pushed by github-merge-queue bot
42m 21s main
main
42m 21s
Fix naming and renaming issues Tests #4440: Pull request #3804 synchronize by unp1
42m 50s fixMergeRuleRenaming
fixMergeRuleRenaming
42m 50s