Skip to content

Conversation

@gbaz
Copy link
Collaborator

@gbaz gbaz commented Feb 15, 2023

Resolves #8708 and #8706

Sorry, no additional regression test for this.

@Mikolaj
Copy link
Member

Mikolaj commented Feb 15, 2023

Sorry, no additional regression test for this.

@jneira will be unamused.

@jneira
Copy link
Member

jneira commented Feb 15, 2023

well, let's register the debt with a label 😉

Copy link
Collaborator

@ulysses4ever ulysses4ever left a comment

Choose a reason for hiding this comment

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

A test would be nice but the regression is pretty bad, and the earlier we merge a fix the better.

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

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

Makes sense.

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Feb 15, 2023
@Mikolaj
Copy link
Member

Mikolaj commented Feb 15, 2023

@mergify backport 3.10

@mergify
Copy link
Contributor

mergify bot commented Feb 15, 2023

backport 3.10

✅ Backports have been created

Details

@Mikolaj
Copy link
Member

Mikolaj commented Feb 15, 2023

Let me set the label and the backport in the interest of swiftness. We still have 2 days to add a test.

@mergify mergify bot added the merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days label Feb 17, 2023
@gbaz gbaz force-pushed the gb/validate-no-download branch from 8bd9f68 to 5497325 Compare February 17, 2023 12:53
@mergify mergify bot merged commit ecc92a3 into master Feb 17, 2023
mergify bot added a commit that referenced this pull request Feb 17, 2023
don't auto-download in hash validation phase (backport #8769)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-test merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unexpected downloads with cabal repl in 3.9 prerelease

5 participants