diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2025-06-30 18:43:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-30 23:43:16 +0000 |
| commit | ca21304d0bca7fdde9f5ab3f23129a553dd2408b (patch) | |
| tree | 86cca911bbadc6c3578ffb03e51c5b3111e5793f /external | |
| parent | 7a6a455f182722a42fcba5a2fc57c0cd524c4764 (diff) | |
fix spirv-opt bug (#7565)
Close #7491.
As the PR KhronosGroup/SPIRV-Tools#6198 is already merged, we can
switch spirv-tools repo to upstream repo now.
Diffstat (limited to 'external')
| m--------- | external/spirv-tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/external/spirv-tools b/external/spirv-tools -Subproject faa7318dc9e7c2e0af0a280a66fe1dc8edf0ec1 +Subproject bc7c60e96e141bc55b7099a3d35fb9e0eb1fc80 |