Update actions github

klee-contrib · Nov 29, 2024 · a1b953e · a1b953e
1 parent 160661c
commit a1b953e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -19,13 +19,13 @@ jobs:
           dotnet-version: 9.0.x
 
       - name: build
-        run: dotnet build -f net8.0
+        run: dotnet build -f net9.0
 
       - name: modgen
-        run: dotnet run --project TopModel.Generator/TopModel.Generator.csproj -f net8.0 -- -c
+        run: dotnet run --project TopModel.Generator/TopModel.Generator.csproj -f net9.0 -- -c
 
       - name: tmdgen
-        run: dotnet run --project TopModel.ModelGenerator/TopModel.ModelGenerator.csproj -f net8.0 -- -f samples/generators/open-api/tmdgen.config -c
+        run: dotnet run --project TopModel.ModelGenerator/TopModel.ModelGenerator.csproj -f net9.0 -- -f samples/generators/open-api/tmdgen.config -c
 
       - name: Set up JDK 21
         uses: actions/setup-java@v4