CI link checker (#494)

* CI link checker

* fix link errors

* fix ci

* wildcard on *.md
This commit is contained in:
Ludovico Magnocavallo
2022-02-04 13:28:07 +01:00
committed by GitHub
parent 0cef15301b
commit 02e8a3927d
5 changed files with 93 additions and 7 deletions

View File

@@ -57,6 +57,11 @@ jobs:
run: |
python3 tools/check_documentation.py examples modules fast
- name: Check documentation links (fabric)
id: documentation-links-fabric
run: |
python3 tools/check_links.py .
# markdown-link-check:
# runs-on: ubuntu-latest
# steps: