I thought I would post a little example of using gitlab's CI and container registry to build docker images containing urweb then generate static sites using that container that get uploaded to Gitlab pages.
https://ratmice.gitlab.io/gitlab-urweb-pages Overall It seems I used much the same method of static site generation as Artyom Shalkhakov, did on github.io, which is running the urweb executable and then crawling it. cheers _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
