Skip to content
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

Docs contains dead links #3999

Closed
github-actions bot opened this issue Jan 10, 2024 · 5 comments · Fixed by #4111
Closed

Docs contains dead links #3999

github-actions bot opened this issue Jan 10, 2024 · 5 comments · Fixed by #4111
Assignees
Labels
documentation Improvements or additions to documentation

Comments

@github-actions
Copy link
Contributor

github-actions bot commented Jan 10, 2024

Some of the external links in the docs are now dead. This is likely due to the thing being linked to being moved.

Check the Check Markdown links workflow for details.

This issue was raised by the workflow Check Markdown links

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jan 10, 2024
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jan 10, 2024
@TomAFrench
Copy link
Member

Hi @signorecello! I've made a CI workflow which I think would be helpful. It automates checking for dead links in the docs and creates an issue if any exist. You can take a look at it here #3992

As an example of one it's found, there's the link to the ec_baby_jubjub test here.

Let me know what you think on this and if there's anybody else that should be assigned to this.

@signorecello
Copy link
Contributor

Hey looks good! It's weird that this happens because supposedly the docusaurus build looks for dead links... But it's true we've seen some dead links around specially if they're not inside the docs pages.

Can the workflow assign the whole @noir-lang/developerrelations team please?

@TomAFrench
Copy link
Member

It's weird that this happens because supposedly the docusaurus build looks for dead links...

Docusaurus only checks internal links as otherwise it would have to make network calls to determine the health of the links. Internal ones it can do by just checking that the relevant file exists.

@critesjosh
Copy link
Contributor

I get a 404 for the link that the bot provided (https://github.com/noir-lang/noir/actions/runs/7553342449/job/markdown-link-check). Does it work for you?

Could we add this to the Aztec docs as well?

@TomAFrench
Copy link
Member

Ah, looks like it's injecting the name of the job rather than its id. The link should point to: https://github.com/noir-lang/noir/actions/runs/7553342449/job/20563972786

github-merge-queue bot pushed a commit that referenced this issue Jan 17, 2024
# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

As @critesjosh mentioned in #3999, this link currently 404s because
github doesn't allow getting the job id necessary to construct this URL
using the context api.

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
github-merge-queue bot pushed a commit that referenced this issue Jan 22, 2024
# Description

## Problem\*

Resolves #3999 

## Summary\*

This PR fixes a bunch of cases of dead links where the target has been
moved or in one case never existed in the first place.

## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [x] Documentation included in this PR.
- [ ] **[Exceptional Case]** Documentation to be submitted in a separate
PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Jan 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

6 participants