Merge pull request #128 from facundominguez/fd/gh-pages · ucsd-progsys/liquidhaskell-tutorial@469143b

Triggered via push July 31, 2023 00:35

main

Status Success

Total duration 4m 24s

Artifacts 1

docs-ci-cd.yml

on: push

Produced during runtime

Name	Size
generated-site Expired	14.4 MB