fix(ci): Lychee

[refcell]

Fixes lychee workflow issues

[claude]

Claude finished @refcell's task —— View job

---

PR Review: fix(ci): Lychee

I've completed my review of this PR that fixes Lychee workflow issues. Here's my comprehensive analysis:

Todo List:

• Read and analyze all changed files
• Review lychee.toml configuration changes
• Review documentation file modifications
• Assess code quality and best practices
• Check for potential bugs or issues
• Evaluate performance considerations
• Review security concerns
• Assess test coverage impact
• Provide comprehensive feedback

Summary

This PR addresses link checking issues in the Lychee CI workflow by:

1. Configuration updates: Adding a broken Intel documentation URL to the exclusion list
2. Documentation fixes: Correcting outdated GitHub file paths in documentation

Code Quality & Best Practices ✅

Positive aspects:

• Clean, focused changes that directly address the stated problem
• Proper regex pattern for URL exclusion in lychee.toml:12
• Maintains existing configuration structure and formatting
• Updates documentation paths to reflect current codebase structure

Suggestions:

• The changes follow established patterns and are well-implemented

Potential Issues 🔍

Minor observations:

• No functional issues identified
• The Intel URL exclusion (^https://www\.intel\.com/content/www/us/en/developer/tools/trust-domain-extensions/documentation\.html) is appropriately specific
• File path corrections in documentation are accurate:
  • new-l1-block-info-tx-hardfork.mdx:112: Fixed path from crates/protocol/src/info/mod.rs to crates/protocol/protocol/src/info/mod.rs
  • custom-backend.mdx:88: Updated reference from deprecated DerivationDriver to current single proof implementation
  • exec-ext.mdx:7-8: Simplified description by removing outdated KonaHandleRegister type reference

Performance Considerations ⚡

• Positive impact: Excluding the broken Intel URL will prevent unnecessary retries and timeouts
• CI efficiency: Reduces false positives in link checking, improving CI reliability
• Minimal overhead: Regex exclusions are processed efficiently by Lychee

Security Concerns 🔒

• No security issues: Changes are purely configuration and documentation updates
• Safe exclusions: The Intel URL exclusion is specific and doesn't create broad security holes
• No credential exposure: No sensitive information introduced

Test Coverage 📋

• Not applicable: These changes don't require additional test coverage
• CI validation: The Lychee workflow itself serves as validation for these changes
• Documentation accuracy: Updated paths can be verified by the existence of referenced files

Technical Details

File changes breakdown:

1. lychee.toml (+2/-1): Added Intel documentation URL to exclusion list
2. Documentation files (+3/-4): Updated three stale GitHub file paths and references

Change rationale:

• The Intel URL was likely returning 404 or timeout errors in CI
• Documentation paths needed updating after codebase restructuring
• The KonaHandleRegister type reference was outdated

Recommendation: ✅ APPROVE

This is a well-executed maintenance PR that:

• Directly addresses CI reliability issues
• Contains accurate documentation updates
• Follows established configuration patterns
• Poses no security or performance risks
• Requires no additional testing

The changes are minimal, focused, and will improve CI stability without any negative side effects.

---

[Copilot]

Pull Request Overview

This PR fixes issues with the Lychee link checker CI workflow by updating configuration and documentation links. The changes address broken or problematic URLs that were causing the link checker to fail.

Key changes:

• Add Intel documentation URL to Lychee exclusion list
• Update broken documentation links to correct file paths
• Remove outdated API documentation references

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 1 comment.

File	Description
lychee.toml	Add Intel TDX documentation URL to exclusion list
docs/docs/pages/sdk/proof/exec-ext.mdx	Simplify documentation reference and remove broken link
docs/docs/pages/sdk/proof/custom-backend.mdx	Update link to correct single proof implementation
docs/docs/pages/sdk/examples/new-l1-block-info-tx-hardfork.mdx	Fix path to protocol info module

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[Copilot]

[nitpick] The regex pattern uses unnecessary escaping. The dot in 'www' and 'html' doesn't need to be escaped as it's within a literal string context. Consider simplifying to '^https://www\.intel\.com/content/www/us/en/developer/tools/trust-domain-extensions/documentation\.html' for better readability.

Suggested change

	'^https://www\.intel\.com/content/www/us/en/developer/tools/trust-domain-extensions/documentation\.html'
	'^https://www.intel\.com/content/www/us/en/developer/tools/trust-domain-extensions/documentation.html'

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.0%. Comparing base (589de50) to head (01c3bb7).
⚠️ Report is 1 commits behind head on main.
✅ All tests successful. No failed tests found.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.