Skip to content

Conversation

@cklin
Copy link
Contributor

@cklin cklin commented Dec 5, 2023

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.
  • Confirm the changelog has been updated if necessary.

@cklin cklin requested a review from a team as a code owner December 5, 2023 21:10
@henrymercer
Copy link
Contributor

Looks like the "Submit SARIF after failure" is broken for PRs from forks. I've filed an internal issue to address this. To avoid delaying the release process, we can bypass those checks for this PR.

@cklin cklin merged commit 3675be0 into github:main Dec 5, 2023
@cklin cklin deleted the update-supported-enterprise-server-versions branch December 5, 2023 21:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants