Skip to content

Conversation

@Nova38
Copy link
Collaborator

@Nova38 Nova38 commented Dec 16, 2025

Summary

If merged this pull request will update the document theme to use the more modern Furo theme.
https://pradyunsg.me/furo/

@github-actions
Copy link

github-actions bot commented Dec 16, 2025

✅ No SBOM Changes Detected

For commit ea0bd94 (Run 20286037978)
Compared against commit 294c1d8 (Run 20251316355)

@nightlark nightlark merged commit e8c77ae into main Dec 17, 2025
14 checks passed
@nightlark nightlark deleted the Doc-Use-Furo branch December 17, 2025 21:02
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