Skip to content

Document why CI doesn't push directly to the BSR#310

Merged
nicksnyder merged 2 commits intomainfrom
push-docs
Feb 14, 2025
Merged

Document why CI doesn't push directly to the BSR#310
nicksnyder merged 2 commits intomainfrom
push-docs

Conversation

@nicksnyder
Copy link
Member

No description provided.

@nicksnyder nicksnyder requested a review from rodaine February 13, 2025 23:03
@github-actions
Copy link

github-actions bot commented Feb 13, 2025

The latest Buf updates on your PR. Results from workflow Buf CI / buf (pull_request).

BuildFormatLintBreakingUpdated (UTC)
✅ passed✅ passed✅ passed✅ passedFeb 14, 2025, 12:23 AM

@nicksnyder nicksnyder merged commit 38c70c6 into main Feb 14, 2025
6 checks passed
@nicksnyder nicksnyder deleted the push-docs branch February 14, 2025 00:32
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

Comments