Skip to content

Actions: KeYProject/key-rpc

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
70 workflow runs
70 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
Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #70: Pull request #19 opened by dependabot Bot
4m 16s dependabot/gradle/gradle-deps-d1f2d848f8
dependabot/gradle/gradle-deps-d1f2d848f8
4m 16s
Bump the github-actions-deps group with 2 updates CodeQuality #69: Pull request #18 opened by dependabot Bot
3m 5s dependabot/github_actions/github-actions-deps-2962172256
dependabot/github_actions/github-actions-deps-2962172256
3m 5s
Bump the gradle-deps group with 3 updates CodeQuality #68: Pull request #17 opened by dependabot Bot
3m 20s dependabot/gradle/gradle-deps-313944e8ac
dependabot/gradle/gradle-deps-313944e8ac
3m 20s
Code quality (#16) CodeQuality #67: Commit 836e23e pushed by wadoon
4m 8s main
main
4m 8s
Code quality stuff CodeQuality #66: Pull request #16 synchronize by wadoon
3m 40s weigl/meta
weigl/meta
3m 40s
Bump the gradle-deps group with 4 updates CodeQuality #65: Commit a9e35b2 pushed by wadoon
4m 30s main
main
4m 30s
Code quality stuff CodeQuality #64: Pull request #16 opened by wadoon
3m 56s weigl/meta
weigl/meta
3m 56s
Bump the gradle-deps group with 4 updates CodeQuality #63: Pull request #15 opened by dependabot Bot
3m 55s dependabot/gradle/gradle-deps-21936400c6
dependabot/gradle/gradle-deps-21936400c6
3m 55s
Merge remote-tracking branch 'origin/fix/java-client-stability' CodeQuality #62: Commit fb665f1 pushed by wadoon
4m 59s main
main
4m 59s
Run KeY operations on a dedicated executor instead of the common pool CodeQuality #61: Pull request #14 synchronize by unp1
4m 38s fix/server-executor
fix/server-executor
4m 38s
Run KeY operations on a dedicated executor instead of the common pool CodeQuality #60: Pull request #14 opened by unp1
3m 35s fix/server-executor
fix/server-executor
3m 35s
Fix JSON-RPC correctness bugs and implement loadProblem CodeQuality #59: Pull request #6 synchronize by wadoon
3m 50s fix/java-rpc-correctness
fix/java-rpc-correctness
3m 50s
Fix RPCLayer handler thread shutdown and unknown-id NPE CodeQuality #58: Pull request #8 synchronize by wadoon
3m 52s fix/java-client-stability
fix/java-client-stability
3m 52s
Fix byte-based JSON-RPC framing and request-id race (Python client) CodeQuality #57: Commit 2dae42d pushed by wadoon
3m 40s main
main
3m 40s
Fix byte-based JSON-RPC framing and request-id race (Python client) CodeQuality #56: Pull request #5 synchronize by unp1
5m 12s fix/python-rpc-correctness
fix/python-rpc-correctness
5m 12s
Merge pull request #7 from KeYProject/fix/client-test-compilation CodeQuality #55: Commit 31a7534 pushed by unp1
4m 12s main
main
4m 12s
Cache service-loader lookups for macros and script commands CodeQuality #54: Pull request #13 synchronize by unp1
4m 30s fix/server-perf
fix/server-perf
4m 30s
Implement treeSubtree; fix websocket stream setup and auto() stdout logging CodeQuality #53: Pull request #11 synchronize by unp1
4m 14s fix/server-protocol
fix/server-protocol
4m 14s
Fix temp-file leak in loadKey and clear all per-proof caches on dispose CodeQuality #52: Pull request #10 synchronize by unp1
4m 0s fix/server-leaks
fix/server-leaks
4m 0s
This one needs to go first: Repair keyext.api.client test compilation CodeQuality #51: Pull request #7 synchronize by unp1
1m 8s fix/client-test-compilation
fix/client-test-compilation
1m 8s
Fix RPCLayer handler thread shutdown and unknown-id NPE CodeQuality #50: Pull request #8 synchronize by unp1
4m 2s fix/java-client-stability
fix/java-client-stability
4m 2s
Detach client on disconnect in TCP server mode CodeQuality #49: Pull request #12 synchronize by unp1
4m 10s fix/server-reconnect
fix/server-reconnect
4m 10s
Fix JSON-RPC correctness bugs and implement loadProblem CodeQuality #48: Pull request #6 synchronize by unp1
4m 8s fix/java-rpc-correctness
fix/java-rpc-correctness
4m 8s
Fix Python client timeout unit and disconnect handling CodeQuality #47: Pull request #9 synchronize by unp1
3m 41s fix/python-client-stability
fix/python-client-stability
3m 41s
This one needs to go first: Repair keyext.api.client test compilation CodeQuality #46: Pull request #7 synchronize by unp1
3m 42s fix/client-test-compilation
fix/client-test-compilation
3m 42s