From 1bf093f28984f02737b33758a60e733dbc78d9da Mon Sep 17 00:00:00 2001
From: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Date: Mon, 30 Sep 2024 17:05:12 +0200
Subject: [PATCH] Enable policheck and TSA (#17818)

---
 azure-pipelines.yml  |  3 +++
 eng/TSACondig.gdntsa | 16 ++++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 eng/TSACondig.gdntsa

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b49d6e126b6..008ddfa8645 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -73,6 +73,9 @@ extends:
       sbom:
         enabled: false # VS SBOM is generated with other steps
         justificationForDisabling: 'SBOM for F# is generated via build process. Will be migrated at later date.'
+      tsa:
+        enabled: true
+        configFile: '$(Build.SourcesDirectory)/eng/TSAConfig.gdntsa'
       sourceAnalysisPool:
         name: NetCore1ESPool-Svc-Internal
         image: 1es-windows-2022
diff --git a/eng/TSACondig.gdntsa b/eng/TSACondig.gdntsa
new file mode 100644
index 00000000000..864c796b398
--- /dev/null
+++ b/eng/TSACondig.gdntsa
@@ -0,0 +1,16 @@
+{
+    "codebaseName": "FSharp-GitHub",
+    "notificationAliases": [
+        "mlinfraswat@microsoft.com"
+    ],
+    "codebaseAdmins": [
+        "EUROPE\\vlza",
+        "REDMOND\\kevinransom",
+        "EUROPE\\tomasgrosup"
+    ],
+    "instanceUrl": "https://devdiv.visualstudio.com",
+    "projectName": "DevDiv",
+    "areaPath": "DevDiv\\FSharp",
+    "iterationPath": "DevDiv",
+    "allTools": true
+}
\ No newline at end of file