added support for saving CNFs during stream mode #257
Workflow file for this run
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: CI | |
| on: [workflow_dispatch, push] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| Format: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Format | |
| run: cargo fmt --check | |
| Build-Linux: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| target: [x86_64-unknown-linux-gnu] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: d4v2 build dependencies | |
| run: sudo apt-get install libboost-all-dev ninja-build | |
| - name: Build target | |
| run: cargo build --release --target ${{ matrix.target }} | |
| - name: Archieve Binary | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: ddnnife_${{ matrix.target }} | |
| path: target/${{ matrix.target }}/release/ddnnife | |
| Build-wo-d4v2-Macos: | |
| runs-on: macos-latest | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| target: [x86_64-apple-darwin] | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: Build target | |
| run: EXCLUDE_D4V2=TRUE cargo build --release --target ${{ matrix.target }} | |
| - name: Archieve Binary | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: ddnnife_${{ matrix.target }} | |
| path: target/${{ matrix.target }}/release/ddnnife | |
| #Build-wo-d4v2-Windows: | |
| # runs-on: ubuntu-latest | |
| # strategy: | |
| # fail-fast: false | |
| # steps: | |
| # - uses: actions/checkout@v3 | |
| # - uses: Swatinem/rust-cache@v2 | |
| # - name: Set env variable | |
| # run: export EXCLUDE_D4V2=TRUE | |
| # - name: Install dependencies | |
| # run: | | |
| # rustup target add x86_64-pc-windows-gnu | |
| # - name: Build | |
| # uses: actions-rs/cargo@v1 | |
| # with: | |
| # use-cross: true | |
| # command: build | |
| # args: --target x86_64-pc-windows-gnu --release | |
| # - name: Archieve Binary | |
| # uses: actions/upload-artifact@v3 | |
| # with: | |
| # name: ddnnife | |
| # path: target/release/ddnnife.exe | |
| Doc-tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: d4v2 build dependencies | |
| run: sudo apt-get install libboost-all-dev; sudo apt-get install ninja-build | |
| - name: Doc-tests | |
| run: cargo test --doc | |
| Integration-tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: d4v2 build dependencies | |
| run: sudo apt-get install libboost-all-dev; sudo apt-get install ninja-build | |
| - name: Integration-tests | |
| run: cargo test --release --tests | |
| Coverage: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: Swatinem/rust-cache@v2 | |
| - name: d4v2 build dependencies | |
| run: sudo apt-get install libboost-all-dev; sudo apt-get install ninja-build | |
| - name: Coverage | |
| run: cargo +stable install cargo-llvm-cov; cargo llvm-cov |