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
Migrate to JMLtk CodeQuality #5569: Pull request #3966 synchronize by unp1
3m 8s weigl/jmltk
weigl/jmltk
3m 8s
Migrate to JMLtk Tests #5485: Pull request #3966 synchronize by unp1
In progress weigl/jmltk
weigl/jmltk
In progress
Migrate to JMLtk Tests #5484: Pull request #3966 reopened by unp1
In progress weigl/jmltk
weigl/jmltk
In progress
Migrate to JMLtk CodeQuality #5568: Pull request #3966 reopened by unp1
2m 29s weigl/jmltk
weigl/jmltk
2m 29s
Quantifier and Heap Reasoning Improvements CodeQuality #5567: Pull request #3961 synchronize by unp1
2m 23s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 23s
Quantifier and Heap Reasoning Improvements Tests #5483: Pull request #3961 synchronize by unp1
38m 23s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
38m 23s
Quantifier and Heap Reasoning Improvements Tests #5482: Pull request #3961 synchronize by unp1
36m 54s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
36m 54s
Quantifier and Heap Reasoning Improvements CodeQuality #5566: Pull request #3961 synchronize by unp1
2m 32s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 32s
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
1m 58s main
main
1m 58s
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