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

Release v0.9.0 #16

Merged
merged 8 commits into from
Feb 9, 2024
Merged

Release v0.9.0 #16

merged 8 commits into from
Feb 9, 2024

Conversation

vfusco
Copy link
Contributor

@vfusco vfusco commented Oct 10, 2023

Also:

  • Bump boost to 1.81
  • Add version option
  • Look for remote-cartesi-machine in PATH

closes #14

@vfusco vfusco added the enhancement New feature or request label Oct 10, 2023
@vfusco vfusco added this to the v0.9.0 milestone Oct 10, 2023
@vfusco vfusco self-assigned this Oct 10, 2023
@vfusco vfusco marked this pull request as draft October 10, 2023 12:58
@vfusco vfusco force-pushed the feature/add-version-option branch from 8c9655b to f04861e Compare November 21, 2023 13:48
@vfusco
Copy link
Contributor Author

vfusco commented Nov 21, 2023

closes #7

@vfusco vfusco linked an issue Nov 21, 2023 that may be closed by this pull request
@vfusco vfusco marked this pull request as ready for review November 21, 2023 13:51
@vfusco vfusco changed the title Add version option Bump emulator Nov 21, 2023
@vfusco vfusco force-pushed the feature/add-version-option branch 2 times, most recently from 93905ce to 7c404ca Compare November 24, 2023 15:13
@mpolitzer
Copy link
Contributor

typo on your commit message: chore: Update CHAANGELOG.md

@vfusco vfusco force-pushed the feature/add-version-option branch 5 times, most recently from cc2359c to 27d36e7 Compare November 28, 2023 19:05
@vfusco vfusco force-pushed the feature/add-version-option branch 5 times, most recently from 0b0b6af to 129f3c3 Compare December 13, 2023 22:27
@vfusco vfusco force-pushed the feature/add-version-option branch 2 times, most recently from 69ee348 to 404de8f Compare February 8, 2024 16:08
@vfusco vfusco force-pushed the feature/add-version-option branch from 404de8f to 319caea Compare February 9, 2024 15:59
@vfusco vfusco changed the title Bump emulator Release v0.9.0 Feb 9, 2024
Copy link
Contributor

@alexmikhalevich alexmikhalevich left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Also, checked homebrew build - all good.

@vfusco vfusco merged commit 319caea into main Feb 9, 2024
8 checks passed
@vfusco vfusco deleted the feature/add-version-option branch February 9, 2024 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Provide a --version flag for server-manager Server manager should look for remote-cartesi-machine in PATH
4 participants