Skip to content

Commit

Permalink
Update binary-build.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
msoos authored Apr 11, 2024
1 parent 0c624fd commit db5145b
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions .github/workflows/binary-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,15 @@ jobs:
# and build directories, but this is only available with CMake 3.13 and higher.
# The CMake binaries on the Github Actions machines are (as of this writing) 3.12
run: |
pwd
echo "end pwd"
cd cryptominisat
pwd
echo "end pwd"
ls
echo "end list"
ls ../
echo "end list"
cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }}
- name: Build
Expand Down

0 comments on commit db5145b

Please sign in to comment.