Skip to content

Rollback of DOWNLOAD_CATCH=OFF change merged via PR #3059. - #3092

Merged
rwgk merged 1 commit into
pybind:masterfrom
rwgk:win_download_catch_on_again
Jul 11, 2021
Merged

Rollback of DOWNLOAD_CATCH=OFF change merged via PR #3059.#3092
rwgk merged 1 commit into
pybind:masterfrom
rwgk:win_download_catch_on_again

Conversation

@rwgk

@rwgkrwgk commented Jul 11, 2021

Copy link
Copy Markdown
Collaborator

Strict rollback, only affects GitHub Actions.

@rwgk
rwgk requested a review from henryiii as a code ownerJuly 11, 2021 00:49
@rwgk
rwgk merged commit 0f4761b into pybind:masterJul 11, 2021
@rwgk
rwgk deleted the win_download_catch_on_again branch July 11, 2021 07:40
@github-actionsgithub-actionsBot added the needs changelog Possibly needs a changelog entry label Jul 11, 2021
@rwgkrwgk removed the needs changelog Possibly needs a changelog entry label Jul 11, 2021
@rwgkrwgk mentioned this pull request Feb 10, 2023
Sign up for freeto 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.

2 participants

@rwgk@henryiii