CI changelogs: switch to XDG, fix cache key
commitaf5d60613547a1c442842302f712735e315d3c48
authorAndreas Abel <andreas.abel@ifi.lmu.de>
Wed, 27 Mar 2024 16:01:59 +0000 (27 17:01 +0100)
committerMikolaj <281893+Mikolaj@users.noreply.github.com>
Tue, 2 Apr 2024 08:48:57 +0000 (2 08:48 +0000)
tree924b72ffb11af6b5a6e237ef471814beec1fcb34
parent21c87806d48cfb2e0870963015c80331907bc0bd
CI changelogs: switch to XDG, fix cache key

This is the same as #9845 but for the changelogs.yml workflow.

`changelog-d` currently has restrictive bound `base < 4.19` which we
need to ignore if we want to build on the latest GHC as shipped by the
GHA runner.
.github/workflows/changelogs.yml