Docker solvers #67
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and Check Unit Tests with Coverage on Linux | |
| on: | |
| pull_request: | |
| branches: | |
| - '**' | |
| jobs: | |
| CrossARM: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - name: Update Dependencies | |
| run: sudo apt-get update | |
| - name: Install Packages | |
| run: sudo apt-get install -y zlib1g-dev make cmake lcov | |
| - uses: actions/checkout@v1 | |
| - name: mergesat build | |
| run: | | |
| make clean | |
| rm -rf build | |
| make CXX_EXTRA_FLAGS=--coverage LD_EXTRA_FLAGS=--coverage run-tests-d-all | |
| lcov --no-external -f --capture -d build -d minisat --output-file coverage.info | |
| lcov -l coverage.info | |