Fix docs build + deployment #90

Open

Assignees

Labels

opened

on Apr 12, 2023

This should use GitHub's dedicated workflows, rather than the stuff I've hacked together.

Metadata

Assignees

woodruffw

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests