Skip to content

Commit

Permalink
A new workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
eggrobin committed Dec 15, 2023
1 parent ffd1032 commit e8218a8
Showing 1 changed file with 36 additions and 0 deletions.
36 changes: 36 additions & 0 deletions .github/workflows/pipeline.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
name: Pipeline


on:
pull_request:
branches:
- '*'

jobs:
check-repertoire-changes:
name: Check repertoire changes
runs-on: ubuntu-latest
steps:
- name: Checkout merged unicodetools
uses: actions/checkout@v3
with:
path: merged
- name: Checkout base unicodetools
uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.base.sha }}
path: base
- name: Compare repertoire
id: compare-repertoire
run: |
sed 's/^\([^;]*;[^;]*\);.*$/\1/' merged/unicodetools/data/ucd/dev/UnicodeData.txt > merged-repertoire.txt
sed 's/^\([^;]*;[^;]*\);.*$/\1/' base/unicodetools/data/ucd/dev/UnicodeData.txt > base-repertoire.txt
if diff base-repertoire.txt merged-repertoire.txt
then echo "changed=false" >> "$GITHUB_OUTPUT"
else echo "changed=true" >> "$GITHUB_OUTPUT"
fi
- name: Compare repertoire
if: steps.compare-repertoire.changed == 'true'
run: |
echo test

0 comments on commit e8218a8

Please sign in to comment.