| commit | aac50e97948b30dfdec83bfb99dc920499271058 | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Wed, 8 Feb 2023 15:16:32 +0000 (8 16:16 +0100) | ||
| committer | Mergify <37929162+mergify[bot]@users.noreply.github.com> | |
| Mon, 13 Feb 2023 12:02:13 +0000 (13 12:02 +0000) | ||
| tree | 7b926135c4b0eb25bee97c0bda72de0b71bccd6b | treesnapshot (tar.gz zip) |
| parent | 1b0c8bc6fbc5f994a902e2421d4e1bdfad58772f | commitdiff |
Work around ghcup cache woes also in our tiny CI scripts (#8743)
(cherry picked from commit 4756705cce74a2af1dc1b1202a1cc96b95eb6e5e)
(cherry picked from commit 4756705cce74a2af1dc1b1202a1cc96b95eb6e5e)
| .github/workflows/changelogs.yml | diffblobblamehistory | |
| .github/workflows/whitespace.yml | diffblobblamehistory |