Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,621 workflow runs
1,621 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
MetaSpace for documentation and origin CodeQuality #4789: Pull request #3787 synchronize by wadoon
2m 5s weigl/metaspace
weigl/metaspace
2m 5s
Optimize UI updates of slicing panel CodeQuality #4788: Pull request #3735 synchronize by wadoon
2m 8s FliegendeWurst:slicing-ui-perf
FliegendeWurst:slicing-ui-perf
2m 8s
Make new name creation only dependent on goal namespaces not on globa… CodeQuality #4787: Commit 8fc436c pushed by github-merge-queue Bot
2m 23s main
main
2m 23s
CodeQuality CodeQuality #4786: Merge group checks requested
1m 38s
1m 38s
MetaSpace for documentation and origin CodeQuality #4785: Pull request #3787 synchronize by wadoon
2m 11s weigl/metaspace
weigl/metaspace
2m 11s
Make new name creation only dependent on goal namespaces not on global counter CodeQuality #4784: Pull request #3848 synchronize by unp1
2m 51s fix3834
fix3834
2m 51s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4783: Pull request #3676 synchronize by wadoon
2m 27s fix3670
fix3670
2m 27s
Fix "Rule of same name exists already" error after pruning (rare but occuring cases after mass pruning with try-closeable-goals) CodeQuality #4782: Pull request #3850 synchronize by unp1
2m 41s fix-prune-justification-leak
fix-prune-justification-leak
2m 41s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4781: Pull request #3676 synchronize by wadoon
3m 15s fix3670
fix3670
3m 15s
Fix for #3834 CodeQuality #4780: Commit 52a0fe6 pushed by unp1
2m 26s main
main
2m 26s
Allow realizing multiple cached branches at once (#3440) CodeQuality #4779: Commit fa1e882 pushed by wadoon
2m 21s main
main
2m 21s
Fix "Rule of same name exists already" error after pruning (rare but occuring cases after mass pruning with try-closeable-goals) CodeQuality #4778: Pull request #3850 opened by unp1
2m 8s fix-prune-justification-leak
fix-prune-justification-leak
2m 8s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4777: Pull request #3676 synchronize by wadoon
2m 22s fix3670
fix3670
2m 22s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4776: Pull request #3676 synchronize by wadoon
2m 34s fix3670
fix3670
2m 34s
Remaining Changes for the KeY JSON-RPC API CodeQuality #4775: Pull request #3849 synchronize by wadoon
2m 24s weigl/jsonrpc2
weigl/jsonrpc2
2m 24s
Remaining Changes for the KeY JSON-RPC API CodeQuality #4774: Pull request #3849 synchronize by wadoon
2m 29s weigl/jsonrpc2
weigl/jsonrpc2
2m 29s
Remaining Changes for the KeY JSON-RPC API CodeQuality #4773: Pull request #3849 synchronize by wadoon
2m 22s weigl/jsonrpc2
weigl/jsonrpc2
2m 22s
Remaining Changes for the KeY JSON-RPC API CodeQuality #4772: Pull request #3849 opened by wadoon
31s weigl/jsonrpc2
weigl/jsonrpc2
31s
Make new name creation only dependent on goal namespaces not on global counter CodeQuality #4771: Pull request #3848 synchronize by WolframPfeifer
2m 22s fix3834
fix3834
2m 22s
Better ImmutableList CodeQuality #4770: Pull request #3816 synchronize by wadoon
2m 29s weigl/ilist
weigl/ilist
2m 29s
Make package sealable CodeQuality #4769: Pull request #3845 synchronize by wadoon
2m 12s weigl/packageunique
weigl/packageunique
2m 12s
Create temporary PR body file CodeQuality #4768: Commit 9ddea11 pushed by wadoon
2m 25s main
main
2m 25s
Make package sealable CodeQuality #4767: Pull request #3845 synchronize by wadoon
2m 2s weigl/packageunique
weigl/packageunique
2m 2s
Make new name creation only dependent on goal namespaces not on global counter CodeQuality #4766: Pull request #3848 opened by unp1
2m 23s fix3834
fix3834
2m 23s
Allow realizing multiple cached branches at once (#3440) CodeQuality #4765: Commit fa1e882 pushed by github-merge-queue Bot
2m 17s main
main
2m 17s