diff options
| -rwxr-xr-x | extras/check-ir-stable-names-gh-actions.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/check-ir-stable-names-gh-actions.sh b/extras/check-ir-stable-names-gh-actions.sh index 78c9945a6..8cd239ce2 100755 --- a/extras/check-ir-stable-names-gh-actions.sh +++ b/extras/check-ir-stable-names-gh-actions.sh @@ -11,7 +11,7 @@ if ! ./external/lua/lua extras/check-ir-stable-names.lua check; then ./external/lua/lua extras/check-ir-stable-names.lua update echo -e "\n=== Diff of changes made ===" - git diff --no-index --color=always source/slang/slang-ir-insts-stable-names.lua || true + git diff --color=always source/slang/slang-ir-insts-stable-names.lua || true # Also create a summary for GitHub Actions if [ -n "$GITHUB_STEP_SUMMARY" ]; then @@ -19,7 +19,7 @@ if ! ./external/lua/lua extras/check-ir-stable-names.lua check; then echo "## IR Stable Names Table Update Required" echo "The following changes need to be made to \`source/slang/slang-ir-insts-stable-names.lua\`:" echo '```diff' - git diff --no-index source/slang/slang-ir-insts-stable-names.lua + git diff source/slang/slang-ir-insts-stable-names.lua echo '```' } >>"$GITHUB_STEP_SUMMARY" fi |