diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2025-08-09 08:26:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-09 15:26:07 +0000 |
| commit | 6d54b66ca633e1890fd4db4c6d90dfe90b9aa4fb (patch) | |
| tree | a8b95d6d9a6780e2b458b3f931644a8b551bf2fb /tools | |
| parent | b7df3c7aa27301f88e31ed0a7bbf230688adab6a (diff) | |
Be conservative for checking if PR is doc changes only (#8130)
Fixes https://github.com/shader-slang/slang/issues/8098
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions