Skip to content

Actions: KeYProject/key-rpc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 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
CodeQL Advanced CodeQL Advanced #28: Scheduled
3m 38s main
main
3m 38s
Code Quality: Scheduled CodeQL - Code Quality #4: by github-code-quality Bot
46s main
main
46s
Weekly Builds of KeY Weekly Builds of KeY #27: Scheduled
2m 44s main
main
2m 44s
CodeQL Advanced CodeQL Advanced #27: Scheduled
3m 35s main
main
3m 35s
Code Quality: Scheduled CodeQL - Code Quality #3: by github-code-quality Bot
49s main
main
49s
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 github-actions-deps group with 2 updates CodeQL Advanced #26: Pull request #23 opened by dependabot Bot
4m 35s dependabot/github_actions/github-actions-deps-38908e4303
dependabot/github_actions/github-actions-deps-38908e4303
4m 35s
Bump the gradle-deps group with 5 updates CodeQL Advanced #25: Pull request #22 opened by dependabot Bot
6m 28s dependabot/gradle/gradle-deps-bcb4456d29
dependabot/gradle/gradle-deps-bcb4456d29
6m 28s
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
github_actions in /. - Update #1548607874 Dependabot Updates #15: by dependabot Bot
2m 39s main
main
2m 39s
gradle in /. - Update #1548607869 Dependabot Updates #14: by dependabot Bot
1m 17s main
main
1m 17s
Weekly Builds of KeY Weekly Builds of KeY #26: Scheduled
2m 52s main
main
2m 52s
start a LSP for KeY CodeQL Advanced #24: Pull request #21 synchronize by wadoon
4m 32s weigl/lsp
weigl/lsp
4m 32s
start a LSP for KeY CodeQuality #80: Pull request #21 synchronize by wadoon
3m 15s weigl/lsp
weigl/lsp
3m 15s
Code Quality: PR #21 CodeQL - Code Quality #2: by wadoon
49s refs/pull/21/head
refs/pull/21/head
49s
CodeQL Advanced CodeQL Advanced #23: Scheduled
3m 53s main
main
3m 53s
Code Quality: Scheduled CodeQL - Code Quality #1: by github-code-quality Bot
44s main
main
44s
start a LSP for KeY CodeQL Advanced #22: Pull request #21 synchronize by wadoon
3m 56s weigl/lsp
weigl/lsp
3m 56s
start a LSP for KeY CodeQuality #79: Pull request #21 synchronize by wadoon
3m 14s weigl/lsp
weigl/lsp
3m 14s
Code Quality: PR #21 CodeQL #17: by wadoon
49s refs/pull/21/head
refs/pull/21/head
49s
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 CodeQL Advanced #21: Pull request #21 synchronize by wadoon
3m 32s weigl/lsp
weigl/lsp
3m 32s
Code Quality: PR #21 CodeQL #16: by wadoon
45s refs/pull/21/head
refs/pull/21/head
45s
start a LSP for KeY CodeQL Advanced #20: Pull request #21 synchronize by wadoon
4m 20s weigl/lsp
weigl/lsp
4m 20s
start a LSP for KeY CodeQuality #77: Pull request #21 synchronize by wadoon
3m 23s weigl/lsp
weigl/lsp
3m 23s