5 commits

Author	SHA1	Message	Date
Chris Wong	605cb86e32	Note that docs CI should be kept in sync with publish script	2021-01-07 21:08:59 +13:00
Chris Wong	eb4729053b	Fix missing dollar sign	2021-01-07 17:12:56 +13:00
Chris Wong	1fab3b02ef	Create GitHub Action that publishes docs (#251)	2021-01-07 17:08:52 +13:00
Chris Wong	07f31e9342	Enable --all-targets for Clippy (#246) ... Closes #209	2020-12-23 20:02:34 +13:00
Chris Wong	24593d8118	Switch to GitHub Actions (#244) ... Closes #243	2020-12-23 19:20:58 +13:00