Skip to content

Actions: Drodt/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
254 workflow runs
254 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
Improve MT experience for Scripts/Macros (#3973) Tests #144: Commit e60a4bf pushed by Drodt
42m 0s main
main
42m 0s
Improve MT experience for Scripts/Macros (#3973) CodeQuality #173: Commit e60a4bf pushed by Drodt
2m 28s main
main
2m 28s
Formalize LocSet as Set of Locations (#3962) CodeQuality #172: Commit 558b12f pushed by Drodt
2m 39s main
main
2m 39s
Formalize LocSet as Set of Locations (#3962) Tests #143: Commit 558b12f pushed by Drodt
38m 19s main
main
38m 19s
Weekly Builds of KeY Weekly Builds of KeY #152: Scheduled
4m 11s main
main
4m 11s
Weekly Builds of KeY Weekly Builds of KeY #151: Scheduled
3m 51s main
main
3m 51s
Broad Release Tests Broad Release Tests #4: Scheduled
53m 45s main
main
53m 45s
Bump the gradle-deps group with 7 updates (#3953) CodeQuality #171: Commit 904243d pushed by Drodt
3m 35s main
main
3m 35s
Bump the gradle-deps group with 7 updates (#3953) Tests #142: Commit 904243d pushed by Drodt
37m 7s main
main
37m 7s
Weekly Builds of KeY Weekly Builds of KeY #150: Scheduled
4m 31s main
main
4m 31s
Optional Tests Optional Tests #124: Scheduled
6h 0m 26s main
main
6h 0m 26s
Optional Tests Optional Tests #123: Scheduled
6h 0m 25s main
main
6h 0m 25s
Weekly Builds of KeY Weekly Builds of KeY #149: Scheduled
3m 41s main
main
3m 41s
Optional Tests Optional Tests #122: Scheduled
6h 0m 24s main
main
6h 0m 24s
Weekly Builds of KeY Weekly Builds of KeY #148: Scheduled
4m 15s main
main
4m 15s
Weekly Builds of KeY Weekly Builds of KeY #147: Scheduled
3m 22s main
main
3m 22s
Optional Tests Optional Tests #121: Scheduled
6h 0m 21s main
main
6h 0m 21s
Performance Series 2 (4/5): Lower memory for the per-goal rule-applic… CodeQuality #170: Commit 118d7b9 pushed by Drodt
2m 46s main
main
2m 46s
Performance Series 2 (4/5): Lower memory for the per-goal rule-applic… Tests #141: Commit 118d7b9 pushed by Drodt
39m 58s main
main
39m 58s
Weekly Builds of KeY Weekly Builds of KeY #146: Scheduled
4m 3s main
main
4m 3s
Broad Release Tests Broad Release Tests #3: Scheduled
6h 2m 4s main
main
6h 2m 4s
Optional Tests Optional Tests #120: Scheduled
6h 0m 20s main
main
6h 0m 20s
Weekly Builds of KeY Weekly Builds of KeY #145: Scheduled
3m 50s main
main
3m 50s
Weekly Builds of KeY Weekly Builds of KeY #144: Scheduled
4m 0s main
main
4m 0s
Optional Tests Optional Tests #119: Scheduled
6h 0m 19s main
main
6h 0m 19s