⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,842 workflow runs
2,842 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set to release key-javaparser 3.28.0-K10.1 Singlewise RAP (not for main) #30: Commit 8db2c05 pushed by wadoon
5m 17s weigl/key-javaparser3
weigl/key-javaparser3
5m 17s
Modularization: InfFlow and WD as separate modules Tests #3939: Pull request #3640 synchronize by unp1
1h 8m 13s weigl/infflow
weigl/infflow
1h 8m 13s
Modularization: InfFlow and WD as separate modules CodeQuality #4009: Pull request #3640 synchronize by unp1
2m 20s weigl/infflow
weigl/infflow
2m 20s
Broad Release Tests Broad Release Tests #148: Scheduled
1h 21m 20s main
main
1h 21m 20s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #161: Scheduled
2m 9s main
main
2m 9s
Bump the gradle-deps group with 7 updates (#3731) Tests #3938: Commit 1be4bfd pushed by github-merge-queue bot
1h 7m 40s main
main
1h 7m 40s
Bump the gradle-deps group with 7 updates (#3731) CodeQuality #4008: Commit 1be4bfd pushed by github-merge-queue bot
2m 46s main
main
2m 46s
The Removal of Recoder Tests #3937: Pull request #3120 synchronize by wadoon
4m 35s weigl/key-javaparser3
weigl/key-javaparser3
4m 35s
The Removal of Recoder CodeQuality #4007: Pull request #3120 synchronize by wadoon
2m 21s weigl/key-javaparser3
weigl/key-javaparser3
2m 21s
no major changes Singlewise RAP (not for main) #29: Commit a69dc9a pushed by wadoon
3m 26s weigl/key-javaparser3
weigl/key-javaparser3
3m 26s
Tests Tests #3936: Merge group checks requested
1h 7m 23s
1h 7m 23s
CodeQuality CodeQuality #4006: Merge group checks requested
2m 33s
2m 33s
Create a JSON-RPC for KeY Tests #3935: Pull request #3303 synchronize by wadoon
1h 9m 36s weigl/jsonrpc
weigl/jsonrpc
1h 9m 36s
Create a JSON-RPC for KeY CodeQuality #4005: Pull request #3303 synchronize by wadoon
2m 43s weigl/jsonrpc
weigl/jsonrpc
2m 43s
Create a JSON-RPC for KeY Tests #3934: Pull request #3303 synchronize by wadoon
3m 6s weigl/jsonrpc
weigl/jsonrpc
3m 6s
Create a JSON-RPC for KeY CodeQuality #4004: Pull request #3303 synchronize by wadoon
1m 39s weigl/jsonrpc
weigl/jsonrpc
1m 39s
Create a JSON-RPC for KeY Tests #3933: Pull request #3303 synchronize by wadoon
8m 34s weigl/jsonrpc
weigl/jsonrpc
8m 34s
Create a JSON-RPC for KeY CodeQuality #4003: Pull request #3303 synchronize by wadoon
1m 57s weigl/jsonrpc
weigl/jsonrpc
1m 57s
LLM support in KeY UI CodeQuality #4002: Pull request #3687 synchronize by wadoon
2m 39s weigl/llm
weigl/llm
2m 39s
LLM support in KeY UI Tests #3932: Pull request #3687 synchronize by wadoon
1h 9m 56s weigl/llm
weigl/llm
1h 9m 56s
Rewriting the settings in KeY files to the new format. CodeQuality #4001: Pull request #3688 synchronize by wadoon
2m 35s weigl/settingsrewriter-applied
weigl/settingsrewriter-applied
2m 35s
Rewriting the settings in KeY files to the new format. Tests #3931: Pull request #3688 synchronize by wadoon
1h 41m 31s weigl/settingsrewriter-applied
weigl/settingsrewriter-applied
1h 41m 31s
capture proof data CodeQuality #4000: Pull request #3671 synchronize by wadoon
2m 25s weigl/regressionproof
weigl/regressionproof
2m 25s
capture proof data Tests #3930: Pull request #3671 synchronize by wadoon
46m 49s weigl/regressionproof
weigl/regressionproof
46m 49s
Create a JSON-RPC for KeY CodeQuality #3999: Pull request #3303 synchronize by wadoon
2m 29s weigl/jsonrpc
weigl/jsonrpc
2m 29s