Update deployment workflow - #811

Merged

meili-bors[bot] merged 6 commits into

mainfrom

Jul 26, 2023

Commits on Jul 25, 2023

Update documentation workflow to deploy with Github pages
Strift
committed
Remove CNAME file from root
Strift
committed
Update workflow trigger to allow testing
Strift
committed
Add todos to remove code before merging
Strift
committed

Commits on Jul 26, 2023

Disable workflow on PR
Strift
committed
Merge branch 'main' into migrate-docs
Strift
authored