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

link check: new file for ignoring URLs and files 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-03-14 11:43:36 +11:00
parent de91ea2666
commit 9a28f5007e
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.linkcheck-ignore.yml Normal file
View File

@ -0,0 +1,7 @@
# Copyright 2025, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
urls:
- ".*haskellstack.org.*"
- https://doi.org/10.1145/1190215.1190234