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 /thirdparty/bullet | |
| 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 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions