8000 docs: fix dead link in README.md by rebustron · Pull Request #662 · agglayer/agglayer · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

docs: fix dead link in README.md #662

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

rebustron
Copy link

Description

Hi! I fixes a dead link in the README.md file. The original link pointing to Succinct's documentation for generating proofs was outdated and has been updated to the correct URL.

Additions and Changes

Updated the dead link from https://docs.succinct.xyz/docs/generating-proofs/prover-network/key-setup to https://docs.succinct.xyz/docs/sp1/generating-proofs/prover-network/key-setup.

PR Checklist:

  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added or updated tests that comprehensively prove my change is effective or that my feature works

@rebustron rebustron requested a review from a team as a code owner February 26, 2025 17:51
@github-actions github-actions bot added the bug Something isn't working label Feb 26, 2025
@rebustron rebustron mentioned this pull request Feb 26, 2025
4 tasks
Copy link
Contributor
@Ekleog-Polygon Ekleog-Polygon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's perfect, thank you!

@Ekleog-Polygon Ekleog-Polygon added this pull request to the merge queue Feb 27, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 27, 2025
@Ekleog-Polygon Ekleog-Polygon added this pull request to the merge queue Feb 27, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants
0