Skip to content

CI: Rename default branch to main#38

Merged
lvkv merged 1 commit intomainfrom
lvkv/ci-default-branch
Apr 6, 2026
Merged

CI: Rename default branch to main#38
lvkv merged 1 commit intomainfrom
lvkv/ci-default-branch

Conversation

@lvkv
Copy link
Copy Markdown
Member

@lvkv lvkv commented Apr 6, 2026

The default branch was recently renamed to main; this fixes our CI workflow accordingly.

@lvkv lvkv requested a review from Copilot April 6, 2026 19:30
@lvkv lvkv self-assigned this Apr 6, 2026
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the Rust GitHub Actions workflow triggers to match the repository’s renamed default branch (main), ensuring CI runs on the correct branch for pushes and pull requests.

Changes:

  • Changed on.push.branches filter from master to main.
  • Changed on.pull_request.branches filter from master to main.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@lvkv lvkv merged commit 0654afe into main Apr 6, 2026
9 checks passed
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