From b2b8676197264accc883adbcbf5115ddbffabd85 Mon Sep 17 00:00:00 2001
From: Anya497 <chi.vinny0702@gmail.com>
Date: Thu, 20 Mar 2025 10:19:44 +0300
Subject: [PATCH 1/4] Run VSharp building on pull request and push.

---
 .github/workflows/build_vsharp.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
index 3ad121329..da9bca66d 100644
--- a/.github/workflows/build_vsharp.yml
+++ b/.github/workflows/build_vsharp.yml
@@ -1,7 +1,7 @@
 name: 'Build VSharp'
 
 on:
-  workflow_call
+  [workflow_call, pull_request, push]
 
 jobs:
   build:

From d6c320a4bec464847bdbec7cf15d928cd8fc4820 Mon Sep 17 00:00:00 2001
From: Anya497 <chi.vinny0702@gmail.com>
Date: Thu, 20 Mar 2025 10:23:03 +0300
Subject: [PATCH 2/4] Refresh versions.

---
 .github/workflows/build_vsharp.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
index da9bca66d..0f7ade532 100644
--- a/.github/workflows/build_vsharp.yml
+++ b/.github/workflows/build_vsharp.yml
@@ -8,10 +8,10 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
     - name: Checkout VSharp
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         submodules: false
-    - uses: actions/cache@v3
+    - uses: actions/cache@v4
       id: nuget-cache
       with:
         path: ~/.nuget/packages
@@ -21,11 +21,11 @@ jobs:
     - name: Build VSharp
       run:
         dotnet build -c DebugTailRec
-    - uses: actions/upload-artifact@v3
+    - uses: actions/upload-artifact@v4
       with:
         name: runner
         path: ./VSharp.Runner/bin/DebugTailRec/net7.0
-    - uses: actions/upload-artifact@v3
+    - uses: actions/upload-artifact@v4
       with:
         name: test_runner
         path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0

From b428cf6b238d01c47ed556e0eeff28275c24a26e Mon Sep 17 00:00:00 2001
From: Anya497 <chi.vinny0702@gmail.com>
Date: Thu, 20 Mar 2025 10:26:34 +0300
Subject: [PATCH 3/4] Setup dotnet7.

---
 .github/workflows/build_vsharp.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
index 0f7ade532..c1b017169 100644
--- a/.github/workflows/build_vsharp.yml
+++ b/.github/workflows/build_vsharp.yml
@@ -7,10 +7,15 @@ jobs:
   build:
     runs-on: ubuntu-22.04
     steps:
+    - uses: actions/setup-dotnet@v4
+      with:
+        dotnet-version: '7.0.x'
+
     - name: Checkout VSharp
       uses: actions/checkout@v4
       with:
         submodules: false
+
     - uses: actions/cache@v4
       id: nuget-cache
       with:
@@ -18,13 +23,16 @@ jobs:
         key: ${{ runner.os }}-nuget-${{ hashFiles('**/*.csproj', '**/*.fsproj') }}
         restore-keys: |
           ${{ runner.os }}-nuget-
+  
     - name: Build VSharp
       run:
         dotnet build -c DebugTailRec
+
     - uses: actions/upload-artifact@v4
       with:
         name: runner
         path: ./VSharp.Runner/bin/DebugTailRec/net7.0
+
     - uses: actions/upload-artifact@v4
       with:
         name: test_runner

From 3f9d71072c86cc206b1955b12395c17e18a97f58 Mon Sep 17 00:00:00 2001
From: Anya497 <chi.vinny0702@gmail.com>
Date: Thu, 20 Mar 2025 13:01:08 +0300
Subject: [PATCH 4/4] Build in Release mode.

---
 .github/workflows/build_vsharp.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_vsharp.yml b/.github/workflows/build_vsharp.yml
index c1b017169..edc53591f 100644
--- 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: