Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,021 workflow runs
3,021 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proof Management: Ignore internal contracts when calculating dependen… Tests #4063: Commit 25c50a7 pushed by github-merge-queue bot
1h 9m 50s main
main
1h 9m 50s
Proof Management: Ignore internal contracts when calculating dependen… CodeQuality #4132: Commit 25c50a7 pushed by github-merge-queue bot
3m 0s main
main
3m 0s
Tests Tests #4062: Merge group checks requested
1h 8m 42s
1h 8m 42s
CodeQuality CodeQuality #4131: Merge group checks requested
2m 42s
2m 42s
Tests Tests #4061: Merge group checks requested
1h 7m 45s
1h 7m 45s
CodeQuality CodeQuality #4130: Merge group checks requested
2m 46s
2m 46s
Proof Management: Ignore internal contracts when calculating dependency state (fixes #3745) Tests #4060: Pull request #3748 synchronize by WolframPfeifer
1h 8m 3s pfeifer/3745pmIgnoreInternal
pfeifer/3745pmIgnoreInternal
1h 8m 3s
Proof Management: Ignore internal contracts when calculating dependency state (fixes #3745) CodeQuality #4129: Pull request #3748 synchronize by WolframPfeifer
2m 39s pfeifer/3745pmIgnoreInternal
pfeifer/3745pmIgnoreInternal
2m 39s
Create a JSON-RPC for KeY CodeQuality #4128: Pull request #3303 synchronize by wadoon
2m 59s weigl/jsonrpc
weigl/jsonrpc
2m 59s
Create a JSON-RPC for KeY Tests #4059: Pull request #3303 synchronize by wadoon
1h 7m 9s weigl/jsonrpc
weigl/jsonrpc
1h 7m 9s
Taclet definition added to problemHeader CodeQuality #4127: Pull request #3733 synchronize by wadoon
2m 28s weigl/fix849
weigl/fix849
2m 28s
Taclet definition added to problemHeader Tests #4058: Pull request #3733 synchronize by wadoon
1h 6m 10s weigl/fix849
weigl/fix849
1h 6m 10s
Suppression of log for non-failing test classes Tests #4057: Pull request #3746 synchronize by wadoon
1h 8m 23s weigl/testlogging
weigl/testlogging
1h 8m 23s
Suppression of log for non-failing test classes CodeQuality #4126: Pull request #3746 synchronize by wadoon
2m 45s weigl/testlogging
weigl/testlogging
2m 45s
Optional Tests Optional Tests #172: Manually run by wadoon
12m 44s weigl/broad-release-tests
weigl/broad-release-tests
12m 44s
Update and fix Broad Release Tests Tests #4056: Pull request #3703 synchronize by wadoon
1h 7m 10s weigl/broad-release-tests
weigl/broad-release-tests
1h 7m 10s
Update and fix Broad Release Tests CodeQuality #4125: Pull request #3703 synchronize by wadoon
2m 40s weigl/broad-release-tests
weigl/broad-release-tests
2m 40s
Taclet definition added to problemHeader CodeQuality #4124: Pull request #3733 synchronize by wadoon
2m 44s weigl/fix849
weigl/fix849
2m 44s
Taclet definition added to problemHeader Tests #4055: Pull request #3733 synchronize by wadoon
1h 7m 7s weigl/fix849
weigl/fix849
1h 7m 7s
Suppression of log for non-failing test classes CodeQuality #4123: Pull request #3746 synchronize by wadoon
2m 50s weigl/testlogging
weigl/testlogging
2m 50s
Suppression of log for non-failing test classes Tests #4054: Pull request #3746 synchronize by wadoon
3m 9s weigl/testlogging
weigl/testlogging
3m 9s
Suppression of log for non-failing test classes CodeQuality #4122: Pull request #3746 synchronize by wadoon
2m 24s weigl/testlogging
weigl/testlogging
2m 24s
Suppression of log for non-failing test classes Tests #4053: Pull request #3746 synchronize by wadoon
2m 18s weigl/testlogging
weigl/testlogging
2m 18s
Save proof independent settings, that are not used by the configurati… CodeQuality #4121: Commit 9afda3c pushed by github-merge-queue bot
3m 5s main
main
3m 5s
Save proof independent settings, that are not used by the configurati… Tests #4052: Commit 9afda3c pushed by github-merge-queue bot
1h 8m 52s main
main
1h 8m 52s