Skip to content

Dedicated website build, final status job#4371

Merged
JakeWharton merged 1 commit intotrunkfrom
jw.website-copy.2025-05-14
May 15, 2025
Merged

Dedicated website build, final status job#4371
JakeWharton merged 1 commit intotrunkfrom
jw.website-copy.2025-05-14

Conversation

@JakeWharton
Copy link
Copy Markdown
Collaborator

Closes #4370


  • CHANGELOG.md's "Unreleased" section has been updated, if applicable.

@JakeWharton JakeWharton merged commit bf11ef4 into trunk May 15, 2025
9 checks passed
@JakeWharton JakeWharton deleted the jw.website-copy.2025-05-14 branch May 15, 2025 02:12
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.

Add docs build to PRs

1 participant