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

[Merged by Bors] - release: cli v0.3.0 #15

Closed
wants to merge 1 commit into from

Conversation

github-actions[bot]
Copy link

This is a release PR for cli to version 0.3.0.

Upon merging, this will automatically build the CLI and create a GitHub release. You still need to manually publish the cargo crate.

$ cd crates/cli
$ cargo publish

To merge this release, review the changes then say:

bors r+ p=10

Edit release notes into the section below:

Release notes

@AaronFriel
Copy link
Owner

bors r+

bors bot pushed a commit that referenced this pull request Jul 20, 2022
This is a release PR for **cli** to version **0.3.0**.

Upon merging, this will automatically build the CLI and create a GitHub release. You still need to manually publish the cargo crate.

```
$ cd crates/cli
$ cargo publish
```

To merge this release, review the changes then say:

| bors r+ p=10 |
|:-:|

---

_Edit release notes into the section below:_

<!-- do not change or remove this heading -->
### Release notes
@bors
Copy link

bors bot commented Jul 20, 2022

@bors bors bot changed the title release: cli v0.3.0 [Merged by Bors] - release: cli v0.3.0 Jul 20, 2022
@bors bors bot closed this Jul 20, 2022
@bors bors bot deleted the release-cli-0.3.0 branch July 20, 2022 23:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant