Skip to content

Actions: KeYProject/key-rpc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 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
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
Weekly Builds of KeY Weekly Builds of KeY #15: Manually run by wadoon
3m 5s main
main
3m 5s
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
Cache service-loader lookups for macros and script commands CodeQuality #45: Pull request #13 synchronize by unp1
40m 17s fix/server-perf
fix/server-perf
40m 17s
Cache service-loader lookups for macros and script commands CodeQuality #44: Pull request #13 opened by unp1
4m 4s fix/server-perf
fix/server-perf
4m 4s
Fix RPCLayer handler thread shutdown and unknown-id NPE CodeQuality #43: Pull request #8 synchronize by unp1
3m 50s fix/java-client-stability
fix/java-client-stability
3m 50s
Fix Python client timeout unit and disconnect handling CodeQuality #42: Pull request #9 synchronize by unp1
22m 52s fix/python-client-stability
fix/python-client-stability
22m 52s
Fix temp-file leak in loadKey and clear all per-proof caches on dispose CodeQuality #41: Pull request #10 synchronize by unp1
3m 56s fix/server-leaks
fix/server-leaks
3m 56s
Implement treeSubtree; fix websocket stream setup and auto() stdout logging CodeQuality #40: Pull request #11 synchronize by unp1
5m 8s fix/server-protocol
fix/server-protocol
5m 8s
Detach client on disconnect in TCP server mode CodeQuality #39: Pull request #12 synchronize by unp1
5m 11s fix/server-reconnect
fix/server-reconnect
5m 11s
Detach client on disconnect in TCP server mode CodeQuality #38: Pull request #12 opened by unp1
4m 7s fix/server-reconnect
fix/server-reconnect
4m 7s