diff options
| author | Gangzheng Tong <tonggangzheng@gmail.com> | 2025-09-24 17:54:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-25 00:54:26 +0000 |
| commit | 55a7d2a73ef051f6027129f90e73a88b5176ec3b (patch) | |
| tree | 35b7d68028f82c43142543e9580855a6c7e35ca9 /.gitignore | |
| parent | 9c2024a7509baae921083d49a56e1321c51f00ec (diff) | |
Add timeout to CI jobs; add mimalloc to .gitignore (#8538)
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 12a8c8588..dac907f55 100644 --- a/.gitignore +++ b/.gitignore @@ -80,6 +80,7 @@ prelude/*.h.cpp /multiple-definitions.hlsl /external/slang-llvm/ /external/slang-glslang/ +/external/mimalloc/ build/**/*.tlog build/**/*.lastbuildstate |