Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Update errkit to v0.0.2 #2965

Merged
merged 1 commit into from
Jun 27, 2024
Merged

chore: Update errkit to v0.0.2 #2965

merged 1 commit into from
Jun 27, 2024

Conversation

e-sumin
Copy link
Contributor

@e-sumin e-sumin commented Jun 27, 2024

Change Overview

Upgrading reference to latest release of errkit

Pull request type

Please check the type of change your PR introduces:

  • 🚧 Work in Progress
  • 🌈 Refactoring (no functional changes, no api changes)
  • 🐹 Trivial/Minor
  • 🐛 Bugfix
  • 🌻 Feature
  • 🗺️ Documentation
  • 🤖 Test
  • 🏗️ Build

Issues

  • fixes #issue-number

Test Plan

  • 💪 Manual
  • ⚡ Unit test
  • 💚 E2E

@e-sumin e-sumin force-pushed the bump-errkit-release branch from 9812122 to 8097d74 Compare June 27, 2024 17:54
@e-sumin e-sumin requested review from hairyhum and DeepikaDixit June 27, 2024 18:02
@e-sumin e-sumin added the kueue label Jun 27, 2024
@mergify mergify bot merged commit b9b522b into master Jun 27, 2024
18 checks passed
@mergify mergify bot deleted the bump-errkit-release branch June 27, 2024 18:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants