Skip to content
This repository was archived by the owner on Jan 16, 2026. It is now read-only.

docs: fix derive links #3249

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

docs: fix derive links #3249

Olexandr88 wants to merge 1 commit into from

Conversation

@Olexandr88
Copy link
Contributor

@Olexandr88 Olexandr88 commented Jan 13, 2026

Fix broken derive section links in intro

@codecov
Copy link

codecov bot commented Jan 13, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.9%. Comparing base (5a4457f) to head (2adec5f).
✅ All tests successful. No failed tests found.

❗ There is a different number of reports uploaded between BASE (5a4457f) and HEAD (2adec5f). Click for more details.

HEAD has 20 uploads less than BASE
Flag BASE (5a4457f) HEAD (2adec5f)
proof 7 0
unit 2 1
e2e 12 0

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@BioMark3r BioMark3r Awaiting requested review from BioMark3r BioMark3r is a code owner

@emhane emhane Awaiting requested review from emhane emhane is a code owner

@theochap theochap Awaiting requested review from theochap theochap is a code owner

@op-will op-will Awaiting requested review from op-will op-will is a code owner

@einar-oplabs einar-oplabs Awaiting requested review from einar-oplabs einar-oplabs is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Olexandr88