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

Update cURL to 8.7.1 #535

Merged
merged 2 commits into from
Jul 18, 2024
Merged

Update cURL to 8.7.1 #535

merged 2 commits into from
Jul 18, 2024

Conversation

chouquette
Copy link

VULN-7643

@chouquette chouquette requested a review from a team as a code owner July 18, 2024 07:11
@chouquette
Copy link
Author

Forcing merge since the failures are unrelated flakes

@chouquette
Copy link
Author

/merge

@dd-devflow
Copy link

dd-devflow bot commented Jul 18, 2024

🚂 MergeQueue: waiting for PR to be ready

This merge request is not mergeable yet, because of pending checks/missing approvals. It will be added to the queue as soon as checks pass and/or get approvals.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.

Use /merge -c to cancel this operation!

@chouquette chouquette merged commit 6837021 into master Jul 18, 2024
4 of 5 checks passed
@chouquette chouquette deleted the chouquette/update_curl branch July 18, 2024 10:17
@chouquette
Copy link
Author

Now using the correct button 🤦‍♂️

@dd-devflow
Copy link

dd-devflow bot commented Jul 18, 2024

🚂 MergeQueue: This merge request was already merged

This pull request was merged directly.

chouquette added a commit that referenced this pull request Jul 18, 2024
* curl: update from 8.4.0 to 8.7.1

* curl: remove old and unneeded workaround

(cherry picked from commit 6837021)
chouquette added a commit that referenced this pull request Jul 18, 2024
* curl: update from 8.4.0 to 8.7.1

* curl: remove old and unneeded workaround

(cherry picked from commit 6837021)
chouquette added a commit that referenced this pull request Jul 18, 2024
* curl: update from 8.4.0 to 8.7.1

* curl: remove old and unneeded workaround

(cherry picked from commit 6837021)
chouquette added a commit that referenced this pull request Jul 18, 2024
* curl: update from 8.4.0 to 8.7.1

* curl: remove old and unneeded workaround

(cherry picked from commit 6837021)
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