Simon Michael 05fada7833 ;ci: github: split into platform-specific workflows ... Basic mac/windows ones, usually run nightly, and a more thorough linux one, run for noteworthy push/pull requests. And the usual round of tweaks.		2020-03-06 10:55:54 -08:00
..
ISSUE_TEMPLATE	;doc: update issue templates	2020-01-20 14:15:40 -08:00
workflows	;ci: github: split into platform-specific workflows	2020-03-06 10:55:54 -08:00
FUNDING.yml	Create FUNDING.yml	2019-05-29 22:43:52 -07:00
pull_request_template.md	;fix pull request template link; comment the help text	2019-03-07 11:36:15 -08:00