Add template workflows for managing a MkDocs-based website#25

Merged

per1234 merged 2 commits intomainfrom

Jun 16, 2021

Commits on Jun 16, 2021

Add template workflow to deploy a MkDocs-based website to GitHub Pages
per1234
committed
Add template workflow to check for problems with MkDocs-based website
per1234
committed