Use a more sophisticated variant for Cyrillic Lower Ef under Quasi-Proportional. #5
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: PR Bump Version | |
on: | |
pull_request_target: | |
branches: [dev] | |
jobs: | |
bump_version_check: | |
name: Bump version check | |
if: github.repository == 'be5invis/Iosevka' && github.base_ref == 'dev' | |
runs-on: ubuntu-latest | |
outputs: | |
changed: ${{ steps.check_changes.outputs.changed }} | |
steps: | |
- name: Checkout PR | |
uses: actions/checkout@v4 | |
- name: Use Node.js | |
uses: actions/setup-node@v4 | |
with: | |
node-version: lts/* | |
- name: Bump version | |
run: | | |
npm install | |
npm run bump-ver | |
- id: check_changes | |
name: Check changes | |
run: | | |
git config core.autocrlf false | |
if git diff --quiet; then | |
echo "changed=0" >> "$GITHUB_OUTPUT" | |
else | |
echo "changed=1" >> "$GITHUB_OUTPUT" | |
fi | |
- name: Commit to PR | |
if: steps.check_changes.outputs.changed == '1' | |
run: | | |
git config --local user.email "[email protected]" | |
git config --local user.name "GitHub Actions" | |
git add --all | |
git commit -m "Bump version" | |
git push | |
- name: Add PR comment | |
uses: mshick/add-pr-comment@v2 | |
if : steps.check_changes.outputs.changed == '1' | |
with: | |
message: | | |
Your pull request changes the version number. | |
A commit has been made to bump the version number. |