mirror of https://github.com/01-edu/public.git
feat(ga-misc-check-links): use 01-edu/check-links instead
- bump up the GA version used to have the latest
This commit is contained in:
parent
8637bb56f0
commit
4dd6157cee
|
@ -5,7 +5,7 @@ on:
|
||||||
paths-ignore:
|
paths-ignore:
|
||||||
- ".github/**"
|
- ".github/**"
|
||||||
branches: [master]
|
branches: [master]
|
||||||
types: [ labeled, opened, reopened, synchronize ]
|
types: [labeled, opened, reopened, synchronize]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
GA-Misc-Check-Links:
|
GA-Misc-Check-Links:
|
||||||
|
@ -25,8 +25,8 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
echo "changed_files=$(git diff --name-only --merge-base origin/master | grep "\.md$" | xargs)" >> "$GITHUB_OUTPUT"
|
echo "changed_files=$(git diff --name-only --merge-base origin/master | grep "\.md$" | xargs)" >> "$GITHUB_OUTPUT"
|
||||||
|
|
||||||
- name: Run step if any *.md file(s) changed
|
- name: 🔗 Run Check Links
|
||||||
if: steps.changed-md.outputs.changed_files != ''
|
if: steps.changed-md.outputs.changed_files != ''
|
||||||
uses: nprimo/check-links@v0.1
|
uses: 01-edu/check-links@v0.2
|
||||||
with:
|
with:
|
||||||
filepath: ${{ steps.changed-md.outputs.changed_files }}
|
filepath: ${{ steps.changed-md.outputs.changed_files }}
|
||||||
|
|
Loading…
Reference in New Issue