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.

Sign up for GitHub

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

Jump to bottom

chore: synced file(s) with phnx47/shared-configs #438

Merged
merged 1 commit into from
Jan 5, 2025
Merged

chore: synced file(s) with phnx47/shared-configs #438

merged 1 commit into from
Jan 5, 2025

Conversation

phnx47-bot
Copy link
Collaborator

synced local file(s) with phnx47/shared-configs.

Changed files
  • synced local Directory.Build.props with remote dotnet/Directory.Build.props

This PR was created automatically by the repo-file-sync-action workflow run #12619879873

@phnx47-bot phnx47-bot requested a review from phnx47 as a code owner January 5, 2025 13:18
@phnx47-bot phnx47-bot added the sync label Jan 5, 2025
@github-actions github-actions bot enabled auto-merge (squash) January 5, 2025 13:18
@phnx47 phnx47 disabled auto-merge January 5, 2025 13:34
@phnx47 phnx47 merged commit 190612c into main Jan 5, 2025
4 of 5 checks passed
@phnx47 phnx47 deleted the sync/shared-configs/default-1736083084 branch January 5, 2025 13:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@phnx47 phnx47 Awaiting requested review from phnx47 phnx47 is a code owner

Assignees

@phnx47 phnx47

Labels
sync
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@phnx47-bot @phnx47