Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nullness Type System for key.core CodeQuality #2822: Pull request #3470 synchronize by wadoon
January 22, 2025 21:57 1m 59s eisop/keycore2
eisop/keycore2
January 22, 2025 21:57 1m 59s
Nullness Type System for key.core Tests #2753: Pull request #3470 synchronize by wadoon
January 22, 2025 21:57 2m 27s eisop/keycore2
eisop/keycore2
January 22, 2025 21:57 2m 27s
Reactivate Checkstyle CodeQuality #2821: Pull request #3539 synchronize by wadoon
January 22, 2025 18:47 2m 18s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 18:47 2m 18s
Reactivate Checkstyle Tests #2752: Pull request #3539 synchronize by wadoon
January 22, 2025 18:47 2m 9s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 18:47 2m 9s
Reactivate Checkstyle CodeQuality #2820: Pull request #3539 synchronize by wadoon
January 22, 2025 18:32 2m 29s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 18:32 2m 29s
Reactivate Checkstyle Tests #2751: Pull request #3539 synchronize by wadoon
January 22, 2025 18:32 1m 43s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 18:32 1m 43s
The Removal of Recoder Tests #2750: Pull request #3120 synchronize by wadoon
January 22, 2025 16:43 39m 27s weigl/key-javaparser3
weigl/key-javaparser3
January 22, 2025 16:43 39m 27s
The Removal of Recoder CodeQuality #2819: Pull request #3120 synchronize by wadoon
January 22, 2025 16:43 2m 15s weigl/key-javaparser3
weigl/key-javaparser3
January 22, 2025 16:43 2m 15s
Reactivate Checkstyle Tests #2749: Pull request #3539 synchronize by wadoon
January 22, 2025 15:59 1h 7m 57s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:59 1h 7m 57s
Reactivate Checkstyle CodeQuality #2818: Pull request #3539 synchronize by wadoon
January 22, 2025 15:59 2m 12s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:59 2m 12s
Reactivate Checkstyle CodeQuality #2817: Pull request #3539 synchronize by wadoon
January 22, 2025 15:39 2m 24s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:39 2m 24s
Reactivate Checkstyle Tests #2748: Pull request #3539 synchronize by wadoon
January 22, 2025 15:39 1h 8m 29s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:39 1h 8m 29s
Reactivate Checkstyle CodeQuality #2816: Pull request #3539 synchronize by wadoon
January 22, 2025 15:35 2m 38s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:35 2m 38s
Reactivate Checkstyle Tests #2747: Pull request #3539 synchronize by wadoon
January 22, 2025 15:35 1h 7m 48s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 15:35 1h 7m 48s
Reactivate Checkstyle Tests #2746: Pull request #3539 synchronize by wadoon
January 22, 2025 12:39 1h 7m 20s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:39 1h 7m 20s
Reactivate Checkstyle CodeQuality #2815: Pull request #3539 synchronize by wadoon
January 22, 2025 12:39 1m 53s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:39 1m 53s
Reactivate Checkstyle CodeQuality #2814: Pull request #3539 synchronize by wadoon
January 22, 2025 12:33 52s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:33 52s
Reactivate Checkstyle Tests #2745: Pull request #3539 synchronize by wadoon
January 22, 2025 12:33 3m 19s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:33 3m 19s
Reactivate Checkstyle CodeQuality #2813: Pull request #3539 synchronize by wadoon
January 22, 2025 12:31 2m 35s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:31 2m 35s
Reactivate Checkstyle Tests #2744: Pull request #3539 synchronize by wadoon
January 22, 2025 12:31 4m 13s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:31 4m 13s
Reactivate Checkstyle Tests #2743: Pull request #3539 synchronize by wadoon
January 22, 2025 12:25 10m 36s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:25 10m 36s
Reactivate Checkstyle CodeQuality #2812: Pull request #3539 synchronize by wadoon
January 22, 2025 12:25 2m 25s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:25 2m 25s
Reactivate Checkstyle Tests #2742: Pull request #3539 opened by wadoon
January 22, 2025 12:22 13m 53s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:22 13m 53s
Reactivate Checkstyle CodeQuality #2811: Pull request #3539 opened by wadoon
January 22, 2025 12:22 2m 10s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
January 22, 2025 12:22 2m 10s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2810: Pull request #3021 synchronize by wadoon
January 21, 2025 15:36 2m 8s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 15:36 2m 8s