Skip to content

Actions: KeYProject/key-rpc

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
82 workflow runs
82 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 github-actions-deps group with 2 updates CodeQuality #82: Pull request #23 opened by dependabot Bot
5m 25s dependabot/github_actions/github-actions-deps-38908e4303
dependabot/github_actions/github-actions-deps-38908e4303
5m 25s
Bump the gradle-deps group with 5 updates CodeQuality #81: Pull request #22 opened by dependabot Bot
3m 48s dependabot/gradle/gradle-deps-bcb4456d29
dependabot/gradle/gradle-deps-bcb4456d29
3m 48s
start a LSP for KeY CodeQuality #80: Pull request #21 synchronize by wadoon
3m 15s weigl/lsp
weigl/lsp
3m 15s
start a LSP for KeY CodeQuality #79: Pull request #21 synchronize by wadoon
3m 14s weigl/lsp
weigl/lsp
3m 14s
start a LSP for KeY CodeQuality #78: Pull request #21 synchronize by wadoon
3m 24s weigl/lsp
weigl/lsp
3m 24s
start a LSP for KeY CodeQuality #77: Pull request #21 synchronize by wadoon
3m 23s weigl/lsp
weigl/lsp
3m 23s
start a LSP for KeY CodeQuality #76: Pull request #21 opened by wadoon
3m 45s weigl/lsp
weigl/lsp
3m 45s
Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #75: Commit deec8ce pushed by wadoon
3m 48s main
main
3m 48s
Bump the gradle-deps group across 1 directory with 7 updates CodeQuality #74: Pull request #19 synchronize by wadoon
4m 15s dependabot/gradle/gradle-deps-d1f2d848f8
dependabot/gradle/gradle-deps-d1f2d848f8
4m 15s
Bump the github-actions-deps group with 2 updates CodeQuality #73: Commit 9c0b141 pushed by wadoon
4m 37s main
main
4m 37s
Bump the github-actions-deps group with 2 updates CodeQuality #72: Pull request #18 synchronize by wadoon
3m 59s dependabot/github_actions/github-actions-deps-2962172256
dependabot/github_actions/github-actions-deps-2962172256
3m 59s
add key-tau into one runnable thing CodeQuality #71: Pull request #20 opened by wadoon
4m 23s weigl/tau
weigl/tau
4m 23s
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