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.

Sign up for GitHub

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

update changelog, prepare release #183

Merged

rcoh merged 1 commit into main from prepare-release

Jul 22, 2024

Contributor

rcoh commented Jul 22, 2024

No description provided.


update changelog, prepare release

92c085e

nikomatsakis approved these changes

View reviewed changes

 publish:
  git describe --exact-match --tags HEAD || (echo "You must publish a tagged release. Checkout the tag before publishing" && exit 1)
+ (cd duchess-reflect && cargo publish)
  cd macro && cargo publish

Member

nikomatsakis Jul 22, 2024

Suggested change

 cd macro && cargo publish

 (cd macro && cargo publish)

for consistency?

rcoh merged commit 827297d into main

13 checks passed

rcoh deleted the prepare-release branch

July 22, 2024 21:46

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment