Skip to content

repo: run make generate after pr#125

Merged
shoenig merged 1 commit intomainfrom
run-generate
May 2, 2023
Merged

repo: run make generate after pr#125
shoenig merged 1 commit intomainfrom
run-generate

Conversation

@shoenig
Copy link
Copy Markdown
Owner

@shoenig shoenig commented May 2, 2023

No description provided.

@shoenig shoenig merged commit dd77737 into main May 2, 2023
@shoenig shoenig deleted the run-generate branch December 15, 2023 15:15
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.

1 participant