secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update PR linkcheck ignore 

This file is for PR checks of "normal" markdown files in the repo.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-16 09:36:55 +10:00
parent 5faf21411c
commit 6a3efa7f58
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.linkcheck-ignore.yml
View File

@ -8,10 +8,8 @@ files:
- "_.*/.*"
- ".*html"
- ".*/.*/.*md"
- CommunityProjects.md
- SuggestedProjects.md
- MaintainedRepositories.md
- getting-started.md
- Resources.md
- index.md
- releases.md
urls: