Update cmake.yml

meelgroup · Apr 11, 2024 · 09f8ef5 · 09f8ef5
1 parent 1bcc76a
commit 09f8ef5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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