Simon Michael ce0cd344b5 ci: more consistent, platform- and ghc-specific cache keys ... These github caches created once and never updated; so it's important to have keys that are specific enough that it doesn't (a) waste time restoring cached data that we won't be able to use (b) fail to cache new data because it thinks the old cache was used.		2025-06-13 21:00:42 -10:00
..
ISSUE_TEMPLATE	;doc: simplify new bug template	2024-09-13 11:51:35 -07:00
workflows	ci: more consistent, platform- and ghc-specific cache keys	2025-06-13 21:00:42 -10:00
FUNDING.yml	;doc: FUNDING.yml: hide patreon for now	2025-03-31 18:26:12 -10:00
pull_request_template.md	;dev: pr template: mention COMMITS page and prefix convention (#1997)	2023-02-01 13:30:21 -10:00