medmunds 67bf5a5912 CI: split lint, docs jobs ...

(They had been combined to minimize Travis-CI jobs;
not an issue with GitHub Workflows.)

2021-05-19 13:48:22 -07:00

..

workflows

CI: split lint, docs jobs

2021-05-19 13:48:22 -07:00

CONTRIBUTING.md

Expand GitHub contributing info

2021-01-26 13:55:17 -08:00

ISSUE_TEMPLATE.md

Suggest including settings and code in GitHub issue template

2019-02-19 17:23:23 -08:00