| commit | 40b631804e026077d3acce59381cb3b2b42066fd | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Wed, 16 Nov 2022 09:28:52 +0000 (16 10:28 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 16 Nov 2022 09:28:52 +0000 (16 10:28 +0100) | ||
| tree | 9b6b4ac5741de039d1cbb708d0c0d234bcde9efc | treesnapshot (tar.gz zip) |
| parent | 80f606ccde9a692ab034c10807521f514d5da275 | commitdiff |
| parent | 18fe1bc06a0c7368eaeea4648fbcdc33dca39334 | commitdiff |
Merge pull request #8595 from Mikolaj/urlopen-timeout-CI-4th-attempt
Cache whole of ~/.cabal in bootstrap.yml to fix CI
Cache whole of ~/.cabal in bootstrap.yml to fix CI