-
Notifications
You must be signed in to change notification settings - Fork 8
Add script &CI to check dead links #39
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
A proposal could be to use wget directly, it looks pretty straightforward: otherwise a tool like htmltest could be used: |
I‘m willing to have a try. |
Great! I assigned you on the issue |
@liugddx are you still working on this? otherwise I will remove assignment and let somebody else to contribute in |
All right. I found a lot of dead links, and I can‘t be sure what the correct link is. |
This issue is only about having the CI job to detect dead links, then the activity to fix those should be made separately (because they could be a lot) |
Feature Request
Add script &CI to check dead links.
Which Areas Would Be Affected?
CI
Why Is the Feature Desired?
Every time PR is merged, we can ensure that there are no dead links.
Solution Proposal
If possible, provide a (brief!) solution proposal.
The text was updated successfully, but these errors were encountered: