Skip to content

Conversation

alexandear
Copy link
Member

This PR corrects several links.

Signed-off-by: Oleksandr Redko <[email protected]>
Copy link
Member

@jandubois jandubois left a comment

Choose a reason for hiding this comment

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

Thanks, LGTM

Maybe we should have a CI link checker? Not as part of the PR checks, but something that runs once a day on a schedule to detect link rot?

@jandubois jandubois merged commit 3291c79 into lima-vm:master Jun 17, 2025
9 checks passed
@jandubois jandubois added this to the v1.1.2 milestone Jun 17, 2025
@alexandear alexandear deleted the docs/fix-links branch June 17, 2025 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants