Skip to content

Merge main to feature branch - #3545

Merged
wiktork merged 8 commits into
feature/eventPipeMetersfrom
main
Dec 8, 2022
Merged

Merge main to feature branch#3545
wiktork merged 8 commits into
feature/eventPipeMetersfrom
main

Conversation

@wiktork

@wiktork wiktork commented Dec 8, 2022

Copy link
Copy Markdown
Member

No description provided.

dotnet-maestro Bot and others added 8 commits December 1, 2022 14:30
…ence-packages build 20221130.1 (#3533)

[main] Update dependencies from dotnet/source-build-reference-packages
…3530)

Issue: #3510

Add GetBuildIdFromSectionHeader that used when getting the build id note
from the program headers failures.
…129.2 (#3536)

[main] Update dependencies from dotnet/arcade
…21205.1 (#3540)

[main] Update dependencies from dotnet/symstore
…ence-packages build 20221205.1 (#3541)

[main] Update dependencies from dotnet/source-build-reference-packages
…221201.12 (#3537)

[main] Update dependencies from dotnet/installer
…ence-packages build 20221206.1 (#3543)

[main] Update dependencies from dotnet/source-build-reference-packages
…ence-packages build 20221208.1 (#3544)

[main] Update dependencies from dotnet/source-build-reference-packages
@wiktork
wiktork requested a review from a team as a code owner December 8, 2022 17:18
@wiktork
wiktork merged commit b52b4c4 into feature/eventPipeMeters Dec 8, 2022
@github-actions github-actions Bot locked and limited conversation to collaborators Jan 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant