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

4.1-pre-release #6622

Merged
merged 38 commits into from
Nov 11, 2020
Merged

4.1-pre-release #6622

merged 38 commits into from
Nov 11, 2020

Conversation

lk86
Copy link
Contributor

@lk86 lk86 commented Nov 7, 2020

Tighten up flags to daemon in default charts, rename package to mina, prepare for tagging / branch cut. Also updates coda-automation to match master w/ the latest docker image, genesis ledger, etc. to use for the community qa net.

Additionally, fixes the zexe-standardize.sh script for the new marlin rust bindings, as well as making bisect_ppx conditional for the new rust bindings to avoid spamming ~/ with .coverage files.

Also adds the changes to rebuild-deb that included the last generate-keypair package manifest so that it can be rebuilt in CI more easily + to rename to mina like the other packages.

@lk86 lk86 added the ci-build-me Add this label to trigger a circle+buildkite build for this branch label Nov 7, 2020
@lk86 lk86 linked an issue Nov 9, 2020 that may be closed by this pull request
@psteckler
Copy link
Member

As I mentioned to @lk86, I have a branch that uses the latest bisect_ppx, and eliminates the need to mention --conditional. The ppx will be mentioned in an instrumentation clause instead of in the pps clause.

It's a big change, and it's low priority, so it may take some time before I make it into a PR.

@lk86 lk86 requested a review from mrmr1993 November 10, 2020 22:46
Copy link
Member

@mrmr1993 mrmr1993 left a comment

Choose a reason for hiding this comment

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

The script in scripts/archive/build-release-archives.sh probably wants updating too. Other than that and my other comment, LGTM.

@lk86 lk86 added the ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR label Nov 10, 2020
@mergify mergify bot merged commit ccbd0c8 into develop Nov 11, 2020
@mergify mergify bot deleted the 4.1-pre-release branch November 11, 2020 03:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-build-me Add this label to trigger a circle+buildkite build for this branch ready-to-merge Adding this label will trigger mergify and trigger CI to run and merge the PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename deb package to mina
4 participants