Skip to content
MKDocs

Add a page mentioning/comparing with other HoTT assistants #139

Sign in to view logs

Add a page mentioning/comparing with other HoTT assistants

Add a page mentioning/comparing with other HoTT assistants #139

Triggered via push December 10, 2023 12:46
@fizrukfizruk
pushed 48abfcd
mkdocs-blog
Status Success
Total duration 49s
Artifacts –

mkdocs.yml

on: push
Build and Deploy MkDocs to GitHub Pages
42s
Build and Deploy MkDocs to GitHub Pages
Fit to window
Zoom out
Zoom in