diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-12-04 21:31:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-04 21:31:58 +0100 |
commit | 3dc8aaaccc642cddbd8d5c1841fef079db5c7edf (patch) | |
tree | 0ed774ba4e7f3b67f39ba662a8d0feb9e9aaa649 /core/math/random_pcg.h | |
parent | c9f626b5987c40635c0cf43a629ac3762a10bcf2 (diff) | |
parent | 3e3fded4794963848f5a5beaf84ec1e578778219 (diff) |
Merge pull request #44095 from akien-mga/ci-windows-cache-3gb
CI: Shrink Windows cache to 3GB, we run out of disk space
Diffstat (limited to 'core/math/random_pcg.h')
0 files changed, 0 insertions, 0 deletions