mirror of https://github.com/01-edu/public.git
Compare commits
2 Commits
72378344c4
...
4dd6157cee
Author | SHA1 | Date |
---|---|---|
nprimo | 4dd6157cee | 1 month ago |
nprimo | 8637bb56f0 | 1 month ago |
1 changed files with 32 additions and 0 deletions
@ -0,0 +1,32 @@
|
||||
name: π GA-Misc - Check-Links |
||||
|
||||
on: |
||||
pull_request: |
||||
paths-ignore: |
||||
- ".github/**" |
||||
branches: [master] |
||||
types: [labeled, opened, reopened, synchronize] |
||||
|
||||
jobs: |
||||
GA-Misc-Check-Links: |
||||
name: π Run Check Links |
||||
runs-on: ubuntu-latest |
||||
|
||||
if: contains(github.event.pull_request.labels.*.name, 'π€Έ skip-check-links') == false |
||||
|
||||
steps: |
||||
- name: π§ Checkout |
||||
uses: actions/checkout@v4 |
||||
with: |
||||
fetch-depth: 0 |
||||
|
||||
- name: π Get all changed *.md file(s) |
||||
id: changed-md |
||||
run: | |
||||
echo "changed_files=$(git diff --name-only --merge-base origin/master | grep "\.md$" | xargs)" >> "$GITHUB_OUTPUT" |
||||
|
||||
- name: π Run Check Links |
||||
if: steps.changed-md.outputs.changed_files != '' |
||||
uses: 01-edu/check-links@v0.2 |
||||
with: |
||||
filepath: ${{ steps.changed-md.outputs.changed_files }} |
Loadingβ¦
Reference in new issue