Skip to content
Deploy

KeYmaera Session 2 (bis) #63

Sign in to view logs

KeYmaera Session 2 (bis)

KeYmaera Session 2 (bis) #63

Triggered via push July 30, 2024 13:57
@EnguerrandPrebetEnguerrandPrebet
pushed d7e3ad8
main
Status Success
Total duration 35s
Artifacts 1

deploy.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
45.5 KB