Skip to content

Comments

docs: fix lint issue#557

Merged
mafredri merged 1 commit intomasterfrom
mafredri/docs-fix-lint
Feb 23, 2026
Merged

docs: fix lint issue#557
mafredri merged 1 commit intomasterfrom
mafredri/docs-fix-lint

Conversation

@mafredri
Copy link
Member

@mafredri mafredri commented Feb 23, 2026

The ci/fmt job was failing, simply ran prettier --write.

@mafredri mafredri merged commit c98e9dc into master Feb 23, 2026
4 checks passed
@mafredri mafredri deleted the mafredri/docs-fix-lint branch February 23, 2026 08:43
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.

1 participant