From 4488194107c6f7f3762ecb01ec5d7b11a60b52b0 Mon Sep 17 00:00:00 2001 From: Pierre Gergondet Date: Mon, 22 May 2023 11:17:35 +0900 Subject: [PATCH] [ci] Disable ubuntu-18.04 build --- .github/workflows/build.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c82b29a..d81f3ad 100644 --- 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