Build in Release mode.

Anya497 · Anya497 · commit 3f9d71072c86 · 2025-03-20T13:01:08.000+03:00
diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
@@ -26,7 +26,7 @@ jobs:
   
     - name: Build VSharp
       run:
-        dotnet build -c DebugTailRec
+        dotnet build -c Release
 
     - uses: actions/upload-artifact@v4
       with:
