diff options
Diffstat (limited to '.github/workflows/release.yml')
| -rw-r--r-- | .github/workflows/release.yml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 47bf1f5d..e6542d4d 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -164,26 +164,6 @@ jobs: make install if: matrix.os == 'windows-2019' - - name: Build mimalloc (Linux) - run: | - git clone --depth 1 --branch v2.1.7 https://github.com/microsoft/mimalloc.git ${{github.workspace}}/third_party/mimalloc - cd ${{github.workspace}}/third_party/mimalloc - mkdir build && cd build - cmake -G Ninja -DMI_SECURE=ON .. - ninja - sudo ninja install - if: matrix.os == 'ubuntu-20.04' - - - name: Build mimalloc (Windows) - shell: msys2 {0} - run: | - git clone --depth 1 --branch v2.1.7 https://github.com/microsoft/mimalloc.git ${{github.workspace}}/third_party/mimalloc - cd ${{github.workspace}}/third_party/mimalloc - mkdir build && cd build - cmake -G Ninja -DMI_SECURE=ON -DCMAKE_INSTALL_PREFIX=$MSYSTEM_PREFIX .. && ninja - ninja install - if: matrix.os == 'windows-2019' - - name: Build googletest (Linux) run: | git clone --depth 1 --branch v1.15.0 https://github.com/google/googletest.git ${{github.workspace}}/third_party/googletest |