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.

Sign up for GitHub

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

Jump to bottom

Update links to ec stdlib in docs #5392

Closed
github-actions bot opened this issue Jul 3, 2024 · 1 comment · Fixed by #5398
Closed

Update links to ec stdlib in docs #5392

github-actions bot opened this issue Jul 3, 2024 · 1 comment · Fixed by #5398
Assignees
@jzaki @critesjosh @signorecello @catmcgee @Savio-Sou
Labels
documentation Improvements or additions to documentation

Comments

@github-actions
Copy link
Contributor

github-actions bot commented Jul 3, 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 Jul 3, 2024
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jul 3, 2024
@critesjosh critesjosh mentioned this issue Jul 3, 2024
Merged
5 tasks
@Savio-Sou
Copy link
Collaborator

ERROR: 1 dead links found!
[✖] https://github.com/noir-lang/noir/blob/master/noir_stdlib/src/ec.nr → Status: 404

#5379 moved and renamed ec.nr to https://github.com/noir-lang/noir/blob/master/noir_stdlib/src/ec/mod.nr

@Savio-Sou Savio-Sou changed the title Docs contains dead links Update links to ec stdlib in docs Jul 3, 2024
github-merge-queue bot pushed a commit that referenced this issue Jul 3, 2024
@critesjosh @Savio-Sou
fix(docs): Fix broken docs link to gihtub (#5398)
70ebf60 
# Description

## Problem\*

Resolves #5392

## Summary\*

Updates the links to github to not be broken


## Additional Context



## Documentation\*

Check one:
- [ ] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [ ] I have tested the changes locally.
- [ ] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

---------

Co-authored-by: Savio <72797635+Savio-Sou@users.noreply.github.com>
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Jul 3, 2024
@Savio-Sou Savio-Sou mentioned this issue Jul 4, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jzaki jzaki

@critesjosh critesjosh

@signorecello signorecello

@catmcgee catmcgee

@Savio-Sou Savio-Sou

Labels
documentation Improvements or additions to documentation
Projects
Noir
Status: ✅ Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix(docs): Fix broken docs link to gihtub noir-lang/noir
5 participants
@jzaki @critesjosh @signorecello @catmcgee @Savio-Sou