Shut down any build servers after we're done. (#13)

Hopefully fixes #12.
rolfbjarne · Mar 6, 2024 · af50909 · af50909
1 parent ad899a8
commit af50909
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -88,6 +88,9 @@ runs:
           popd
         fi
 
+        # shut down any build servers we may have started.
+        "$DOTNET" build-server shutdown || true
+
         NO_FORMATTING=
         if git diff --exit-code >/dev/null; then
           echo "No code formatting occurred"