format issues

This commit is contained in:
Arthur Tazhitdinov 2026-02-01 22:07:51 +03:00
parent 6297189e6f
commit cb9c17b80a
2 changed files with 33 additions and 34 deletions

View File

@ -36,8 +36,7 @@ jobs:
with: with:
script: | script: |
const marker = '<!-- pr-title-check -->'; const marker = '<!-- pr-title-check -->';
const error = const error = `${{ steps.title_check.outputs.error_message || steps.title_check.outputs.error || '' }}`.trim();
`${{ steps.title_check.outputs.error_message || steps.title_check.outputs.error || '' }}`.trim();
const details = error ? `\n\n**Error:** ${error}` : '\n\n**Error:** See workflow logs.'; const details = error ? `\n\n**Error:** ${error}` : '\n\n**Error:** See workflow logs.';
const body = `${marker} const body = `${marker}
**PR title check failed** **PR title check failed**

View File

@ -97,8 +97,8 @@ jobs:
exit 0 exit 0
fi fi
ram_line="$(grep -E "RAM:\s" -m1 build-meta/pio.log || true)" ram_line="$(grep -E "RAM:\\s" -m1 build-meta/pio.log || true)"
flash_line="$(grep -E "Flash:\s" -m1 build-meta/pio.log || true)" flash_line="$(grep -E "Flash:\\s" -m1 build-meta/pio.log || true)"
echo "ram_line=${ram_line}" >> "$GITHUB_OUTPUT" echo "ram_line=${ram_line}" >> "$GITHUB_OUTPUT"
echo "flash_line=${flash_line}" >> "$GITHUB_OUTPUT" echo "flash_line=${flash_line}" >> "$GITHUB_OUTPUT"