Weekly Builds of KeY · KeYProject/key@9b13d38

Triggered via schedule May 11, 2026 06:16

wadoon

main

Status Success

Total duration 6m 23s

Artifacts 2

nightlydeploy.yml

on: schedule

1 warning

Cache cleanup failed. Will continue. Error: The process '/home/runner/work/key/key/gradlew' failed with exit code 1

Produced during runtime

Name	Size	Digest
javadoc Expired	102 MB	`sha256:fa53bf15449babdede5847ca589e66321d32a1d8003de49ee6dd3e6231fe5443`
shadowjars Expired	105 MB	`sha256:0a3fe0b4e689368e297bbde63a219cab88541e56d73e3f7f67ca5089f8c4aba9`