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
Simon Michael
ccb0033e31
ci: more consistent ghc version env var
2025-06-13 20:48:53 -10:00
Simon Michael
6cde1a3ff7
ci: more consistent images, image notes
2025-06-13 20:41:43 -10:00
Simon Michael
c730eed3e6
ci:oldest: fix ghc version in cache keys
2025-06-13 20:41:30 -10:00
Simon Michael
71673d42eb
;ci: fix step names breaking yaml
2025-05-29 08:12:36 -10:00
Simon Michael
c1ab42fbba
;ci: simplify cache step names
2025-05-28 17:31:29 -10:00
Simon Michael
01c1f3c8a5
;pkg: simplify stack yaml file names
2025-04-09 10:58:52 -10:00
Simon Michael
835b8fd0e8
;ci: ci, oldest: cache ids aren't correctly including ghc version
2024-10-24 10:44:28 -10:00
Simon Michael
f4bc6308ae
;ci: add trigger summaries as well
2024-09-30 17:21:26 -10:00
Simon Michael
bba77abcf6
;ci: add consistent greppable summaries for all workflows
2024-09-30 17:21:02 -10:00
Simon Michael
1c45496f1c
dev: web: fix build with ghc <9.2
2024-09-30 17:20:13 -10:00
Simon Michael
f4bdf80e71
;ci: oldest: cleanup
2024-06-07 06:32:35 -07:00
Simon Michael
1faad6fabb
;workflows: cleanups
2024-05-18 21:25:35 -10:00
Simon Michael
57963554cb
ci: oldest, ci: more cleanup, more modular steps
2024-05-17 15:31:53 -10:00
Simon Michael
76ce328d5f
ci: oldest: build with oldest GHC on push to eponymous branch
...
and ci: cleanups
2024-05-17 15:08:17 -10:00
