[ci] Disable ubuntu-18.04 build

mc-rtc · May 22, 2023 · 4488194 · 4488194
1 parent 9f4d8c9
commit 4488194
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [windows-latest, ubuntu-18.04, ubuntu-20.04, macos-latest]
+        os: [windows-latest, ubuntu-20.04, macos-latest]
     runs-on: ${{ matrix.os }}
     env:
       VCPKG_ROOT: ${{ github.workspace }}/vcpkg
@@ -122,6 +122,8 @@ jobs:
         ./vcpkg/vcpkg install --feature-flags=registries --debug hpp-spline
         echo "JRL_PORT=ndcurves" >> $GITHUB_ENV
         ./vcpkg/vcpkg install --feature-flags=registries --debug ndcurves
+        echo "JRL_PORT=tvm" >> $GITHUB_ENV
+        ./vcpkg/vcpkg install --feature-flags=registries --debug tvm
         echo "JRL_PORT=mc-rtc" >> $GITHUB_ENV
         ./vcpkg/vcpkg install --feature-flags=registries --debug mc-rtc
         rm -rf $VCPKG_ROOT/buildtrees