Skip to content

hopefully fix docs deployment job#1782

Merged
DetachHead merged 1 commit intomainfrom
fix-docs
Apr 20, 2026
Merged

hopefully fix docs deployment job#1782
DetachHead merged 1 commit intomainfrom
fix-docs

Conversation

@DetachHead
Copy link
Copy Markdown
Owner

@DetachHead DetachHead commented Apr 20, 2026

fixes #1780 (i hope)

@DetachHead DetachHead merged commit d8741df into main Apr 20, 2026
9 checks passed
@DetachHead DetachHead deleted the fix-docs branch April 20, 2026 14:06
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.

Cannot link to doc site

1 participant