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
Simpler sort syntax CodeQuality #5438: Pull request #3957 synchronize by mattulbrich
2m 21s simplerSortSyntax
simplerSortSyntax
2m 21s
Simpler sort syntax Tests #5354: Pull request #3957 synchronize by mattulbrich
38m 14s simplerSortSyntax
simplerSortSyntax
38m 14s
modify the Hash of ResolvedTypeWrapper Tests #5353: Pull request #3956 synchronize by wadoon
36m 14s PiIsRational:new-hash
PiIsRational:new-hash
36m 14s
modify the Hash of ResolvedTypeWrapper CodeQuality #5437: Pull request #3956 synchronize by wadoon
2m 28s PiIsRational:new-hash
PiIsRational:new-hash
2m 28s
Simpler sort syntax Tests #5352: Pull request #3957 synchronize by mattulbrich
36m 56s simplerSortSyntax
simplerSortSyntax
36m 56s
Simpler sort syntax CodeQuality #5436: Pull request #3957 synchronize by mattulbrich
2m 43s simplerSortSyntax
simplerSortSyntax
2m 43s
Simpler sort syntax Tests #5351: Pull request #3957 synchronize by mattulbrich
4m 35s simplerSortSyntax
simplerSortSyntax
4m 35s
Simpler sort syntax CodeQuality #5435: Pull request #3957 synchronize by mattulbrich
2m 12s simplerSortSyntax
simplerSortSyntax
2m 12s
Automatically Generate EQ Taclets CodeQuality #5434: Pull request #3949 synchronize by Drodt
2m 39s generateEQ
generateEQ
2m 39s
Automatically Generate EQ Taclets Tests #5350: Pull request #3949 synchronize by Drodt
31m 54s generateEQ
generateEQ
31m 54s
Simpler sort syntax CodeQuality #5433: Pull request #3957 synchronize by mattulbrich
2m 24s simplerSortSyntax
simplerSortSyntax
2m 24s
Simpler sort syntax Tests #5349: Pull request #3957 synchronize by mattulbrich
10m 17s simplerSortSyntax
simplerSortSyntax
10m 17s
Simpler sort syntax CodeQuality #5432: Pull request #3957 opened by mattulbrich
2m 31s simplerSortSyntax
simplerSortSyntax
2m 31s
Simpler sort syntax Tests #5348: Pull request #3957 opened by mattulbrich
37m 12s simplerSortSyntax
simplerSortSyntax
37m 12s
Broad Release Tests Broad Release Tests #10: Scheduled
47m 25s main
main
47m 25s
modify the Hash of ResolvedTypeWrapper CodeQuality #5431: Pull request #3956 synchronize by PiIsRational
2m 31s PiIsRational:new-hash
PiIsRational:new-hash
2m 31s
modify the Hash of ResolvedTypeWrapper Tests #5347: Pull request #3956 synchronize by PiIsRational
36m 42s PiIsRational:new-hash
PiIsRational:new-hash
36m 42s
modify the Hash of ResolvedTypeWrapper CodeQuality #5430: Pull request #3956 opened by PiIsRational
2m 35s PiIsRational:new-hash
PiIsRational:new-hash
2m 35s
modify the Hash of ResolvedTypeWrapper Tests #5346: Pull request #3956 opened by PiIsRational
36m 30s PiIsRational:new-hash
PiIsRational:new-hash
36m 30s
Universe Type Rules CodeQuality #5429: Pull request #3724 synchronize by PiIsRational
2m 21s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 21s
Universe Type Rules Tests #5345: Pull request #3724 synchronize by PiIsRational
39m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
39m 35s
Weekly Builds of KeY Weekly Builds of KeY #216: Scheduled
3m 43s main
main
3m 43s
Bump the gradle-deps group with 7 updates (#3953) CodeQuality #5428: Commit 904243d pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
Bump the gradle-deps group with 7 updates (#3953) Tests #5344: Commit 904243d pushed by github-merge-queue Bot
36m 25s main
main
36m 25s
Tests Tests #5343: Merge group checks requested
31m 19s
31m 19s