Add possibility to run duplicate link check only

Changes:

- It is now possible to only check for duplicate
  links (without checking if the links are working)

- Check for duplicate links when a push occurs

- Update the scripts documentation accordingly
This commit is contained in:
Matheus Felipe 2022-01-18 02:06:21 -03:00
parent fb70084377
commit 4bc90a81cc
No known key found for this signature in database
GPG key ID: AA785C523274872F
3 changed files with 26 additions and 3 deletions

View file

@ -31,3 +31,7 @@ jobs:
- name: Validate pull request changes
run: scripts/github_pull_request.sh ${{ github.repository }} ${{ github.event.pull_request.number }} ${FILENAME}
if: github.event_name == 'pull_request'
- name: Checking if push changes are duplicated
run: python scripts/validate/links.py ${FILENAME} --only_duplicate_links_checker
if: github.event_name == 'push'