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
Upgrade to cabal-3.8.1.0 #4549
Upgrade to cabal-3.8.1.0 #4549
Conversation
af1602a
to
32003c1
Compare
cabal.project
Outdated
source-repository-package | ||
type: git | ||
location: https://github.com/astanin/moo | ||
tag: dbda5e76ac3b4c72c805ec0cdb9bcdff7bb6247d | ||
--sha256: 1mdj218hgh7s5a6b9k14vg9i06zxah0wa42ycdgh245izs8nfv0x |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this needed (when using CHaP)?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It is not, there is a patched version in CHaP. Also please don't add more without a clear justification!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
When I tried last it the build failed on moo
. I'll create another PR without that commit to see if it happens again.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Actually I found the failed build here: https://github.com/input-output-hk/cardano-node/actions/runs/3306791861/jobs/5457943706
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I updated the CHaP index state and it works now.
2ca4292
to
9903545
Compare
9903545
to
06be9a4
Compare
bors r+ |
Update CHaP index state
06be9a4
to
289f905
Compare
Canceled. |
bors r+ |
bors r+ |
Already running a review |
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 CarlosLopezDeLara, JaredCorduan, Jimbo4350, LudvikGalois, dcoutts, erikd, and/or input-output-hk/devops.","documentation_url":"https://docs.github.com/articles/about-protected-branches"} |
bors r+ |
Build succeeded: |
No description provided.