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
Fix leaking in ImmutableList#fromArray (#3968) CodeQuality #5565: Commit d36571f pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
Fix leaking in ImmutableList#fromArray (#3968) Tests #5481: Commit d36571f pushed by github-merge-queue Bot
37m 5s main
main
37m 5s
CodeQuality CodeQuality #5564: Merge group checks requested
2m 30s
2m 30s
Tests Tests #5480: Merge group checks requested
37m 51s
37m 51s
Fix leaking in ImmutableList#fromArray Tests #5479: Pull request #3968 synchronize by wadoon
38m 49s weigl/ilist2
weigl/ilist2
38m 49s
Fix leaking in ImmutableList#fromArray CodeQuality #5563: Pull request #3968 synchronize by wadoon
2m 4s weigl/ilist2
weigl/ilist2
2m 4s
Fix leaking in ImmutableList#fromArray CodeQuality #5562: Pull request #3968 synchronize by wadoon
2m 22s weigl/ilist2
weigl/ilist2
2m 22s
Fix leaking in ImmutableList#fromArray Tests #5478: Pull request #3968 synchronize by wadoon
27m 51s weigl/ilist2
weigl/ilist2
27m 51s
Generation of Java AST classes CodeQuality #5561: Pull request #3809 synchronize by wadoon
1m 52s weigl/javaastgen
weigl/javaastgen
1m 52s
Generation of Java AST classes Tests #5477: Pull request #3809 synchronize by wadoon
37m 40s weigl/javaastgen
weigl/javaastgen
37m 40s
Definitional Skolem constants (#3960) Tests #5476: Commit 63543e1 pushed by github-merge-queue Bot
37m 33s main
main
37m 33s
Definitional Skolem constants (#3960) CodeQuality #5560: Commit 63543e1 pushed by github-merge-queue Bot
2m 31s main
main
2m 31s
Tests Tests #5475: Merge group checks requested
30m 9s
30m 9s
CodeQuality CodeQuality #5559: Merge group checks requested
2m 6s
2m 6s
CodeQuality CodeQuality #5558: Merge group checks requested
2m 6s
2m 6s
Tests Tests #5474: Merge group checks requested
37m 5s
37m 5s
Make the strategy cost structure explicit CodeQuality #5557: Pull request #3904 synchronize by Drodt
2m 34s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
2m 34s
Make the strategy cost structure explicit Tests #5473: Pull request #3904 synchronize by Drodt
37m 20s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
37m 20s
Formalize LocSet as Set of Locations (#3962) CodeQuality #5556: Commit 558b12f pushed by github-merge-queue Bot
2m 12s main
main
2m 12s
Formalize LocSet as Set of Locations (#3962) Tests #5472: Commit 558b12f pushed by github-merge-queue Bot
36m 44s main
main
36m 44s
Definitional Skolem constants Tests #5471: Pull request #3960 synchronize by Drodt
30m 57s bubel/definitional-skolems-on-main
bubel/definitional-skolems-on-main
30m 57s
Definitional Skolem constants CodeQuality #5555: Pull request #3960 synchronize by Drodt
2m 25s bubel/definitional-skolems-on-main
bubel/definitional-skolems-on-main
2m 25s
CodeQuality CodeQuality #5554: Merge group checks requested
2m 6s
2m 6s
Tests Tests #5470: Merge group checks requested
37m 13s
37m 13s
Weekly Builds of KeY Weekly Builds of KeY #218: Scheduled
3m 35s main
main
3m 35s