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

fix: Trigger release-please #594

Merged
merged 1 commit into from
Jul 11, 2023
Merged

fix: Trigger release-please #594

merged 1 commit into from
Jul 11, 2023

Conversation

kevaundray
Copy link
Contributor

@kevaundray kevaundray commented Jul 11, 2023

Description

Changes have been made to release-please configurations, since they were done under the chore tag, a new release PR was not made. This PR will trigger a new release PR.

Checklist:

  • I have reviewed my diff in github, line by line.
  • Every change is related to the PR description.
  • The branch has been merged with/rebased against the head of its merge target.
  • There are no unexpected formatting changes, superfluous debug logs, or commented-out code.
  • There are no circuit changes, OR a cryptographer has been assigned for review.
  • New functions, classes, etc. have been documented according to the doxygen comment format. Classes and structs must have @brief describing the intended functionality.
  • If existing code has been modified, such documentation has been added or updated.
  • No superfluous include directives have been added.
  • I have linked to any issue(s) it resolves.
  • I'm happy for the PR to be merged at the reviewer's next convenience.

@Rumata888
Copy link
Contributor

The best one I've seen from you so far

@Rumata888 Rumata888 merged commit 5042861 into master Jul 11, 2023
@Rumata888 Rumata888 deleted the kw/empty-commit branch July 11, 2023 16:37
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 22, 2023
ludamad pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Jul 24, 2023
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