delete the PR env from github during cleanup, put api-filter back the…

… way it was
SteeltoeOSS · Feb 27, 2024 · bb42d7a · bb42d7a
1 parent 2073e90
commit bb42d7a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/pr-cleanup.yml b/.github/workflows/pr-cleanup.yml
@@ -16,7 +16,7 @@ jobs:
       uses: azure/login@v1
       with:
         creds: ${{ secrets.AZURE_CREDENTIALS }}
-    
+
     - name: Delete slot on staging site
       run: az webapp deployment slot delete --resource-group ${{ vars.AZURE_RESOURCE_GROUP }} --name ${{ vars.AZURE_WEBAPP_NAME}} --slot ${{ env.SLOT_NAME }}
 
@@ -29,4 +29,3 @@ jobs:
         with:
           environment: "pr-${{ github.event.number }}"
           token: ${{ secrets.GITHUB_TOKEN }}
-          onlyRemoveDeployments: true
diff --git a/api-filter.yml b/api-filter.yml
@@ -3,6 +3,10 @@ apiRules:
 - exclude:
     uidRegex: ^$
     type: Namespace
+# Excluding types in Graphs namespace, originating from Management/.../DotNetHeapDump
+- exclude:
+    uidRegex: ^Graphs
+    type: Namespace
 - exclude:
     uidRegex: ^OpenCensus\.*
     type: Namespace