Skip to content

Deploy docs for main (and cleanup).#17

Merged
1uc merged 5 commits intomainfrom
1uc/fixup-doc-ci
Mar 3, 2025
Merged

Deploy docs for main (and cleanup).#17
1uc merged 5 commits intomainfrom
1uc/fixup-doc-ci

Conversation

@1uc
Copy link
Copy Markdown
Contributor

@1uc 1uc commented Mar 3, 2025

Also replaces the dependency management with
apt-get.

@1uc 1uc changed the title Deploy docs for main (and more). Deploy docs for main (and cleanup). Mar 3, 2025
@1uc 1uc force-pushed the 1uc/fixup-doc-ci branch from f33dc8c to fef5f45 Compare March 3, 2025 07:34
@1uc 1uc marked this pull request as ready for review March 3, 2025 07:35
@1uc 1uc merged commit 81d9fee into main Mar 3, 2025
35 checks passed
@1uc 1uc deleted the 1uc/fixup-doc-ci branch March 3, 2025 21:17
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.

2 participants