2 Commits

Include renames

Author	SHA1	Message	Date
Clement TsangandGitHub	dab4b6c483	other: master -> main (#1349) ... * other: master -> main I'm so used to using `main` branch now that it's actually kinda annoying to use `master` for just this repo... so might as well rename it now. * overzealous change * wording * some wording * allow auto-cancel for tests if not main	2023-12-06 00:16:26 -05:00
Clement TsangandGitHub	5973e6db72	docs: adjust dev doc file structure, add build and deploy docs (#804) ... * docs: add separate section on development * docs: update instructions on writing docs * docs: add build and deploy docs	2022-09-12 04:14:19 -04:00