Skip to content

chore: Add priority_merge_label to .kodiak.toml#1627

Merged
erezrokah merged 1 commit intomainfrom
erezrokah-patch-1
Apr 9, 2024
Merged

chore: Add priority_merge_label to .kodiak.toml#1627
erezrokah merged 1 commit intomainfrom
erezrokah-patch-1

Conversation

@erezrokah
Copy link
Copy Markdown
Member

Summary

So we can have PRs jump the queue


Use the following steps to ensure your PR is ready to be reviewed

  • Read the contribution guidelines 🧑‍🎓
  • Run go fmt to format your code 🖊
  • Lint your changes via golangci-lint run 🚨 (install golangci-lint here)
  • Update or add tests 🧪
  • Ensure the status checks below are successful ✅

@erezrokah erezrokah merged commit 3989b61 into main Apr 9, 2024
@erezrokah erezrokah deleted the erezrokah-patch-1 branch April 9, 2024 07:52
@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 9, 2024

⏱️ Benchmark results

Comparing with 3989b61

  • Glob-8 ns/op: 91.05 ⬇️ 1.45% decrease vs. 3989b61

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant