Skip to content

chore: fix race check for AgentMetadata test#7141

Merged
ammario merged 1 commit into
mainfrom
fix-race
Apr 14, 2023
Merged

chore: fix race check for AgentMetadata test#7141
ammario merged 1 commit into
mainfrom
fix-race

Conversation

@ammario
Copy link
Copy Markdown
Member

@ammario ammario commented Apr 14, 2023

No description provided.

@ammario ammario self-assigned this Apr 14, 2023
@ammario ammario requested a review from mafredri April 14, 2023 16:41
@ammario ammario enabled auto-merge (squash) April 14, 2023 16:41
@ammario ammario merged commit f36a4a0 into main Apr 14, 2023
@ammario ammario deleted the fix-race branch April 14, 2023 17:02
@github-actions github-actions Bot locked and limited conversation to collaborators Apr 14, 2023
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.

2 participants