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

ci gitlab clear global index state #9344

Closed

Conversation

andreabedini
Copy link
Collaborator

@andreabedini andreabedini commented Oct 16, 2023

cabal update alone will update the tarball but preserve the global index state if one is set.

pipeline status

@chreekat
Copy link
Collaborator

I think it would be fine to move to Cabal 3.8+ to build the release. It's not the release pipeline's job to test backward compatibility, right? Then we don't have to have the message about working around a bug in 3.6.

@andreabedini andreabedini force-pushed the andrea/ci-gitlab-clear-global-index-state branch from f1fe412 to 6fe5441 Compare October 17, 2023 01:16
@andreabedini andreabedini force-pushed the andrea/ci-gitlab-clear-global-index-state branch from 6fe5441 to 15f53b8 Compare October 17, 2023 01:34
Copy link
Collaborator

@chreekat chreekat left a comment

Choose a reason for hiding this comment

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

I think it would be fine to move to Cabal 3.8+ to build the release. It's not the release pipeline's job to test backward compatibility, right? Then we don't have to have the message about working around a bug in 3.6.

@andreabedini on second thought, now is absolutely the wrong time to do that, cause it might break other things, so disregard the suggestion.

I guess this is probably good enough for now!

You've cherry picked my other fix, though, and meanwhile I'm also trying to make an i386-alpine release job. So rather than merge them individually, maybe let's make one single change. Let me finish the 3rd patch and then we can combine them.

@chreekat
Copy link
Collaborator

Closing in favor of #9348

@chreekat chreekat closed this Oct 17, 2023
@andreabedini andreabedini deleted the andrea/ci-gitlab-clear-global-index-state branch December 14, 2023 08:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants