Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Universe Type Rules Tests #5584: Pull request #3724 synchronize by PiIsRational
38m 20s PiIsRational:ut-integration
PiIsRational:ut-integration
38m 20s
Universe Type Rules CodeQuality #5668: Pull request #3724 synchronize by PiIsRational
2m 21s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 21s
Universe Type Rules Tests #5583: Pull request #3724 synchronize by PiIsRational
30m 42s PiIsRational:ut-integration
PiIsRational:ut-integration
30m 42s
Universe Type Rules CodeQuality #5667: Pull request #3724 synchronize by PiIsRational
2m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 35s
Weekly Builds of KeY Weekly Builds of KeY #223: Scheduled
3m 46s main
main
3m 46s
Quantifier and Heap Reasoning Improvements (#3961) CodeQuality #5666: Commit 41e92e0 pushed by github-merge-queue Bot
2m 8s main
main
2m 8s
Quantifier and Heap Reasoning Improvements (#3961) Tests #5582: Commit 41e92e0 pushed by github-merge-queue Bot
36m 0s main
main
36m 0s
Fix for slicing in case of dynamic taclet applications and renamings CodeQuality #5665: Pull request #3981 synchronize by Drodt
1m 57s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
1m 57s
Fix for slicing in case of dynamic taclet applications and renamings Tests #5581: Pull request #3981 synchronize by Drodt
34m 41s bubel/fix-dynamic-taclet-replace-slicing
bubel/fix-dynamic-taclet-replace-slicing
34m 41s
Tests Tests #5580: Merge group checks requested
38m 35s
38m 35s
CodeQuality CodeQuality #5664: Merge group checks requested
2m 26s
2m 26s
Quantifier and Heap Reasoning Improvements CodeQuality #5663: Pull request #3961 synchronize by Drodt
2m 39s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 39s
Quantifier and Heap Reasoning Improvements Tests #5579: Pull request #3961 synchronize by Drodt
35m 25s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
35m 25s
Weekly Builds of KeY Weekly Builds of KeY #222: Scheduled
3m 36s main
main
3m 36s
Migrate to JMLtk CodeQuality #5662: Pull request #3966 synchronize by wadoon
2m 33s weigl/jmltk
weigl/jmltk
2m 33s
Migrate to JMLtk Tests #5578: Pull request #3966 synchronize by wadoon
39m 11s weigl/jmltk
weigl/jmltk
39m 11s
Add support for generation of varcond documentation CodeQuality #5661: Pull request #3977 synchronize by wadoon
2m 22s weigl/varconddoc
weigl/varconddoc
2m 22s
Add support for generation of varcond documentation Tests #5577: Pull request #3977 synchronize by wadoon
35m 35s weigl/varconddoc
weigl/varconddoc
35m 35s
remove Main.getWorkingDir() CodeQuality #5660: Pull request #3982 synchronize by wadoon
2m 20s weigl/mwrun
weigl/mwrun
2m 20s
remove Main.getWorkingDir() Tests #5576: Pull request #3982 synchronize by wadoon
37m 50s weigl/mwrun
weigl/mwrun
37m 50s
Weekly Builds of KeY Weekly Builds of KeY #221: Scheduled
4m 5s main
main
4m 5s
re-enable git plugin #3 Software Publication #10: Commit 46a9fe3 pushed by wadoon
24s weigl/hermes2
weigl/hermes2
24s
re-enable git plugin #2 Software Publication #9: Commit fdb1e67 pushed by wadoon
23s weigl/hermes2
weigl/hermes2
23s
re-enable git plugin Software Publication #8: Commit f23cf72 pushed by wadoon
27s weigl/hermes2
weigl/hermes2
27s
Broad Release Tests Broad Release Tests #12: Manually run by wadoon
58m 1s main
main
58m 1s