Skip to content
Deploy PLT www

[lec5] type-checking.md update #92

Sign in to view logs

[lec5] type-checking.md update

[lec5] type-checking.md update #92

Triggered via push November 19, 2024 10:41
@andreasabelandreasabel
pushed 794eb59
master
Status Success
Total duration 1m 26s
Artifacts 1

deploy.yml

on: push
build
53s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
29.4 MB