diff --git a/.github/workflows/mirai_on_mirai.yml b/.github/workflows/mirai_on_mirai.yml index ce9074fe..edb6bf6e 100644 --- a/.github/workflows/mirai_on_mirai.yml +++ b/.github/workflows/mirai_on_mirai.yml @@ -10,11 +10,11 @@ jobs: build_with_vcpkg_installed_z3: strategy: matrix: - build: [macos, windows] #[linux, macos, windows] + build: [linux, macos, windows] include: -# - build: linux -# os: ubuntu-latest -# vcpkg_triplet: x64-linux + - build: linux + os: ubuntu-latest + vcpkg_triplet: x64-linux - build: macos os: macos-latest vcpkg_triplet: x64-osx