Marius Vikhammer f5f7d21c83 CI: ignore result from check_doc_links
check_doc_links will always fail due to:
 * No rate limitation for requests
 * Not being able to handle github links with anchors
2021-03-18 13:15:24 +08:00
..
2021-03-18 13:15:24 +08:00
2021-01-18 12:04:54 +01:00