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

Update version of TSA task #6068

Closed
wants to merge 1 commit into from
Closed

Update version of TSA task #6068

wants to merge 1 commit into from

Conversation

aortiz-msft
Copy link
Contributor

Bug

Fixes:

Description

PR Checklist

  • Meaningful title, helpful description and a linked NuGet/Home issue
  • Added tests
  • Link to an issue or pull request to update docs if this PR changes settings, environment variables, new feature, etc.

@zivkan
Copy link
Member

zivkan commented Oct 1, 2024

I pushed the branch to the internal mirror, and ran the pipeline. It failed with an obscure error: https://dev.azure.com/devdiv/DevDiv/_build/results?buildId=10310419&view=logs&j=aaf681ba-797a-51f6-9ccc-c81516fbf3e3&t=114935d5-6e49-58bc-4fc8-0e6957b2e754

@aortiz-msft
Copy link
Contributor Author

I pushed the branch to the internal mirror, and ran the pipeline. It failed with an obscure error: https://dev.azure.com/devdiv/DevDiv/_build/results?buildId=10310419&view=logs&j=aaf681ba-797a-51f6-9ccc-c81516fbf3e3&t=114935d5-6e49-58bc-4fc8-0e6957b2e754

Yup, I know what I need to do.

@microsoft-github-policy-service microsoft-github-policy-service bot added the Status:No recent activity PRs that have not had any recent activity and will be closed if the label is not removed label Oct 10, 2024
@aortiz-msft aortiz-msft reopened this Oct 17, 2024
@microsoft-github-policy-service microsoft-github-policy-service bot removed the Status:No recent activity PRs that have not had any recent activity and will be closed if the label is not removed label Oct 17, 2024

This PR has been automatically marked as stale because it has no activity for 7 days. It will be closed if no further activity occurs within another 7 days of this comment. If it is closed, you may reopen it anytime when you're ready again, as long as you don't delete the branch.

@microsoft-github-policy-service microsoft-github-policy-service bot added the Status:No recent activity PRs that have not had any recent activity and will be closed if the label is not removed label Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Status:No recent activity PRs that have not had any recent activity and will be closed if the label is not removed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants