Weekly Builds of KeY · KeYProject/key-rpc@48d746e

Manually triggered June 21, 2026 20:57

wadoon

main

Status Success

Total duration 2m 38s

Artifacts 1

nightlydeploy.yml

on: workflow_dispatch

Produced during runtime

Name	Size	Digest
github-pages Expired	745 KB	`sha256:a46505661ebe9ee4ee06c4f11cd618fa74ed53984226cf9f557948a7d54fbdc2`