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

Fix pool when running publicly #807

Merged
merged 1 commit into from
Nov 14, 2023
Merged

Fix pool when running publicly #807

merged 1 commit into from
Nov 14, 2023

Conversation

mmitche
Copy link
Member

@mmitche mmitche commented Nov 14, 2023

No description provided.

@joperezr joperezr enabled auto-merge (squash) November 14, 2023 15:08
auto-merge was automatically disabled November 14, 2023 15:10

Base branch was modified

@joperezr
Copy link
Member

Not sure why Code Coverage failed, looks like a timing issue due to some package from aspnetcore not available in the public feed (I've validated that it is there now)

@joperezr joperezr enabled auto-merge (squash) November 14, 2023 16:31
@joperezr joperezr disabled auto-merge November 14, 2023 16:32
@joperezr joperezr merged commit eb6dd37 into dotnet:main Nov 14, 2023
@danmoseley danmoseley added the area-engineering-systems infrastructure helix infra engineering repo stuff label Nov 16, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Apr 29, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-engineering-systems infrastructure helix infra engineering repo stuff
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants