chore: Enable run-deep-tests (#2105)

Author: fabiomadge

.github/workflows/msbuild.yml

@@ -6,7 +6,7 @@ on:
 
 env:
   dotnet-version: 6.0.x # SDK Version for building Dafny
-  
+
 jobs:
   singletons:
     runs-on: ubuntu-18.04
@@ -49,13 +49,13 @@ jobs:
     - name: Check whitespace and style
       working-directory: dafny
       run: dotnet tool run dotnet-format -w -s error --check Source/Dafny.sln --exclude Dafny/Scanner.cs --exclude Dafny/Parser.cs
-  
+
   check-deep-tests:
     uses: ./.github/workflows/check-deep-tests-reusable.yml
-    if: "!(contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))"
- 
+
   integration-tests:
     needs: check-deep-tests
+    if: always() && (needs.check-deep-tests.result == 'success' || contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))
     uses: ./.github/workflows/integration-tests-reusable.yml
     with:
       # By default run only on one platform, but run on all platforms if the PR has the "run-deep-tests"