Rayyan Ansari 4f7d940769 CI: merge Windows workflow with main ... This also enables us to avoid running it when lint fails.		2023-06-01 20:25:42 +01:00
..
workflows	CI: merge Windows workflow with main	2023-06-01 20:25:42 +01:00
FUNDING.yml	Update FUNDING.yml	2020-06-29 01:28:23 +02:00
ISSUE_TEMPLATE.md	spelling: github	2023-01-12 00:24:42 -05:00
PULL_REQUEST_TEMPLATE	add a PR template pointing to guidelines	2016-12-03 18:34:34 +01:00