From 09f8ef5d7dbcb00a53efa13d90e7b3458bb26857 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Thu, 11 Apr 2024 21:28:00 +0200 Subject: [PATCH] Update cmake.yml --- .github/workflows/cmake.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml index 251fb1a..abb6330 100644 --- a/.github/workflows/cmake.yml +++ b/.github/workflows/cmake.yml @@ -53,13 +53,12 @@ jobs: - name: Build CMS run: | - mkdir cms_git && cd cms_git git clone --depth 1 https://github.com/msoos/cryptominisat cd cryptominisat mkdir build && cd build cmake -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} .. cmake --build . --config ${{env.BUILD_TYPE}} - cd ../../.. + cd ../.. - name: Checkout SBVA uses: actions/checkout@v2