Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use KeYParser.g4 for parsing proof scripts Tests #2741: Pull request #3021 synchronize by wadoon
January 21, 2025 15:36 1h 5m 45s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 15:36 1h 5m 45s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2809: Pull request #3021 synchronize by wadoon
January 21, 2025 11:30 2m 9s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 11:30 2m 9s
Use KeYParser.g4 for parsing proof scripts Tests #2740: Pull request #3021 synchronize by wadoon
January 21, 2025 11:30 1h 6m 7s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 11:30 1h 6m 7s
Use KeYParser.g4 for parsing proof scripts Tests #2739: Pull request #3021 synchronize by wadoon
January 21, 2025 11:10 1h 5m 52s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 11:10 1h 5m 52s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2808: Pull request #3021 synchronize by wadoon
January 21, 2025 11:10 2m 10s wadoon:weigl/psg4
wadoon:weigl/psg4
January 21, 2025 11:10 2m 10s
Optional Tests Optional Tests #122: Scheduled
January 21, 2025 01:24 17m 58s main
main
January 21, 2025 01:24 17m 58s
Improved treatment of final fields CodeQuality #2807: Pull request #3495 synchronize by mattulbrich
January 20, 2025 23:20 2m 1s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 23:20 2m 1s
Improved treatment of final fields Tests #2738: Pull request #3495 synchronize by mattulbrich
January 20, 2025 23:20 1h 7m 23s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 23:20 1h 7m 23s
Improved treatment of final fields Tests #2737: Pull request #3495 synchronize by mattulbrich
January 20, 2025 23:16 1h 6m 43s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 23:16 1h 6m 43s
Improved treatment of final fields CodeQuality #2806: Pull request #3495 synchronize by mattulbrich
January 20, 2025 23:16 2m 8s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 23:16 2m 8s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2805: Pull request #3021 synchronize by wadoon
January 20, 2025 20:47 2m 8s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 20:47 2m 8s
Use KeYParser.g4 for parsing proof scripts Tests #2736: Pull request #3021 synchronize by wadoon
January 20, 2025 20:47 1h 6m 24s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 20:47 1h 6m 24s
Use KeYParser.g4 for parsing proof scripts Tests #2735: Pull request #3021 synchronize by wadoon
January 20, 2025 20:06 1h 8m 31s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 20:06 1h 8m 31s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2804: Pull request #3021 synchronize by wadoon
January 20, 2025 20:06 2m 0s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 20:06 2m 0s
Use KeYParser.g4 for parsing proof scripts Tests #2734: Pull request #3021 synchronize by wadoon
January 20, 2025 19:56 1h 6m 32s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 19:56 1h 6m 32s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2803: Pull request #3021 synchronize by wadoon
January 20, 2025 19:56 2m 1s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 19:56 2m 1s
Use KeYParser.g4 for parsing proof scripts Tests #2733: Pull request #3021 reopened by wadoon
January 20, 2025 18:44 9m 1s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 18:44 9m 1s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2802: Pull request #3021 reopened by wadoon
January 20, 2025 18:44 1m 59s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 18:44 1m 59s
Use KeYParser.g4 for parsing proof scripts Tests #2732: Pull request #3021 synchronize by wadoon
January 20, 2025 18:44 8m 52s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 18:44 8m 52s
Use KeYParser.g4 for parsing proof scripts CodeQuality #2801: Pull request #3021 synchronize by wadoon
January 20, 2025 18:44 2m 11s wadoon:weigl/psg4
wadoon:weigl/psg4
January 20, 2025 18:44 2m 11s
Improved treatment of final fields Tests #2731: Pull request #3495 synchronize by mattulbrich
January 20, 2025 18:40 1h 7m 42s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 18:40 1h 7m 42s
Improved treatment of final fields CodeQuality #2800: Pull request #3495 synchronize by mattulbrich
January 20, 2025 18:40 1m 54s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
January 20, 2025 18:40 1m 54s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #105: Scheduled
January 20, 2025 05:20 1m 12s main
main
January 20, 2025 05:20 1m 12s