Skip to content

Actions: KeYProject/key

Actions

Weekly Builds of KeY

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightlydeploy.yml
78 workflow runs
78 workflow runs

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
Weekly Builds of KeY Weekly Builds of KeY #191: Scheduled
7m 8s main
main
7m 8s
Weekly Builds of KeY Weekly Builds of KeY #190: Scheduled
7m 8s main
main
7m 8s
Weekly Builds of KeY Weekly Builds of KeY #189: Scheduled
6m 19s main
main
6m 19s
Weekly Builds of KeY Weekly Builds of KeY #188: Scheduled
6m 44s main
main
6m 44s
Weekly Builds of KeY Weekly Builds of KeY #187: Scheduled
7m 33s main
main
7m 33s
Weekly Builds of KeY Weekly Builds of KeY #186: Scheduled
6m 34s main
main
6m 34s
Weekly Builds of KeY Weekly Builds of KeY #185: Scheduled
5m 36s main
main
5m 36s
Weekly Builds of KeY Weekly Builds of KeY #184: Manually run by wadoon
4m 44s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
4m 44s
Weekly Builds of KeY Weekly Builds of KeY #183: Manually run by wadoon
33s weigl/test/KeY-2.8.0
weigl/test/KeY-2.8.0
33s
Weekly Builds of KeY Weekly Builds of KeY #182: Manually run by wadoon
1m 49s weigl/test/KeY-2.12.0
weigl/test/KeY-2.12.0
1m 49s
Weekly Builds of KeY Weekly Builds of KeY #181: Manually run by wadoon
33s weigl/test/KeY-2.10.0
weigl/test/KeY-2.10.0
33s
Weekly Builds of KeY Weekly Builds of KeY #180: Manually run by wadoon
2m 11s weigl/test/KeY-2.12.2
weigl/test/KeY-2.12.2
2m 11s
Weekly Builds of KeY Weekly Builds of KeY #179: Manually run by wadoon
2m 10s weigl/test/KeY-2.12.1
weigl/test/KeY-2.12.1
2m 10s
Weekly Builds of KeY Weekly Builds of KeY #178: Manually run by wadoon
2m 19s weigl/test/KeY-2.12.0
weigl/test/KeY-2.12.0
2m 19s
Weekly Builds of KeY Weekly Builds of KeY #177: Manually run by wadoon
2m 22s weigl/test/KeY-2.12.3
weigl/test/KeY-2.12.3
2m 22s
Weekly Builds of KeY Weekly Builds of KeY #176: Manually run by wadoon
3m 36s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
3m 36s
Weekly Builds of KeY Weekly Builds of KeY #175: Manually run by wadoon
3m 37s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
3m 37s
Weekly Builds of KeY Weekly Builds of KeY #174: Manually run by wadoon
3m 40s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
3m 40s
Weekly Builds of KeY Weekly Builds of KeY #173: Manually run by wadoon
3m 14s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
3m 14s
Weekly Builds of KeY Weekly Builds of KeY #172: Manually run by wadoon
3m 35s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
3m 35s
Weekly Builds of KeY Weekly Builds of KeY #171: Manually run by wadoon
4m 7s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
4m 7s
Weekly Builds of KeY Weekly Builds of KeY #170: Manually run by wadoon
4m 4s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
4m 4s
Weekly Builds of KeY Weekly Builds of KeY #169: Manually run by wadoon
5m 18s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
5m 18s
Weekly Builds of KeY Weekly Builds of KeY #168: Manually run by wadoon
4m 44s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
4m 44s
Weekly Builds of KeY Weekly Builds of KeY #167: Scheduled
4m 54s main
main
4m 54s