Closed arokem closed 3 years ago
We should move our CI setup to Github Actions, and use that to build our documentation, instead of doctr.
Bonus points for automatic releases on tags.
Closed through #290 and #288
We should move our CI setup to Github Actions, and use that to build our documentation, instead of doctr.
Bonus points for automatic releases on tags.