Skip to content
Deploy PLT www

[ lec 13 ] update link to Agda code (start) #63

Sign in to view logs

[ lec 13 ] update link to Agda code (start)

[ lec 13 ] update link to Agda code (start) #63

Triggered via push December 12, 2023 10:48
@andreasabelandreasabel
pushed 84d4dc8
master
Status Success
Total duration 2m 3s
Artifacts –

deploy.yml

on: push
build
1m 33s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in