Arya Irani 6302089b8e drop branch filter for CI runs ... We had previously tried to avoid what we saw as duplicate runs of CI on each PR commit. We didn't realize (or didn't document) that the two runs represent the actual branch (`on: push`) vs a hypothetical merge (`on: pull_request`).		2024-06-20 18:00:16 -04:00
..
ISSUE_TEMPLATE	Update issue templates	2024-06-10 16:45:45 -04:00
workflows	drop branch filter for CI runs	2024-06-20 18:00:16 -04:00
CODEOWNERS	Add codeowners for github meta files	2024-05-06 12:52:27 -07:00
pull_request_template.md	remove ormolu disclaimer from pull_request_template.md	2023-06-30 22:33:26 -04:00