Skip to content

cmd/dev: add generate execgen subcommand#83961

Merged
craig[bot] merged 1 commit intocockroachdb:masterfrom
yuzefovich:dev-execgen
Jul 7, 2022
Merged

cmd/dev: add generate execgen subcommand#83961
craig[bot] merged 1 commit intocockroachdb:masterfrom
yuzefovich:dev-execgen

Conversation

@yuzefovich
Copy link
Copy Markdown
Member

Release note: None

@yuzefovich yuzefovich requested review from a team and irfansharif July 7, 2022 02:46
@cockroach-teamcity
Copy link
Copy Markdown
Member

This change is Reviewable

@yuzefovich
Copy link
Copy Markdown
Member Author

TFTR!

bors r+

@ajwerner
Copy link
Copy Markdown
Contributor

ajwerner commented Jul 7, 2022

For whatever reason, bors didn't hear you.

bors r+

@craig
Copy link
Copy Markdown
Contributor

craig bot commented Jul 7, 2022

Build succeeded:

@craig craig bot merged commit bce2267 into cockroachdb:master Jul 7, 2022
@yuzefovich yuzefovich deleted the dev-execgen branch July 7, 2022 18:43
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.

4 participants