Skip to content
Deploy

KeYmaera Session #56

Sign in to view logs

KeYmaera Session

KeYmaera Session #56

Triggered via push July 29, 2024 13:44
@EnguerrandPrebetEnguerrandPrebet
pushed d53d6a7
main
Status Success
Total duration 32s
Artifacts 1

deploy.yml

on: push
deploy
16s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
44.1 KB