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

Bump CHaP again, account for re-release of existing packages #4542

Merged
merged 2 commits into from
Oct 19, 2022

Conversation

michaelpj
Copy link
Contributor

The packages in CHaP have been re-released to line up with 1.35.3. Unfortunately, these are not compatible with node master. Hence I've had to restore some of the source-repository-package stanzas from previously. We will aim to get rid of these as quickly as possible, although this may require doing some additional releases.

This is a pretty major DevX loss, since we're back to source-repository-packages, but without this things are actually broken again :(

@michaelpj
Copy link
Contributor Author

@disassembler hydra succeeded

@LudvikGalois
Copy link
Contributor

Once I'd cleaned out some stale files in my ~/.cabal/store I managed to get this working locally.

@Jimbo4350
Copy link
Contributor

bors r+

iohk-bors bot added a commit that referenced this pull request Oct 19, 2022
4542: Bump CHaP again, account for re-release of existing packages r=Jimbo4350 a=michaelpj

The packages in CHaP have been re-released to line up with 1.35.3. Unfortunately, these are not compatible with node master. Hence I've had to restore some of the `source-repository-package` stanzas from previously. We will aim to get rid of these as quickly as possible, although this may require doing some additional releases.

This is a pretty major DevX loss, since we're back to `source-repository-package`s, but without this things are actually broken again :(

Co-authored-by: Michael Peyton Jones <[email protected]>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 19, 2022

This PR was included in a batch that successfully built, but then failed to merge into master. It will not be retried.

Additional information:

{"message":"Waiting on code owner review from deepfire, fmaste, and/or mgmeier.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

@deepfire
Copy link
Contributor

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Oct 19, 2022

Build succeeded:

@iohk-bors iohk-bors bot merged commit e2206ad into master Oct 19, 2022
@iohk-bors iohk-bors bot deleted the mpj/chap-bump-again branch October 19, 2022 12:22
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