Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
merge check and test runs and include partial win ci
Browse files Browse the repository at this point in the history
chrjabs committed Jan 9, 2024
1 parent ae942f7 commit ee725a6
Showing 2 changed files with 19 additions and 23 deletions.
41 changes: 19 additions & 22 deletions .github/workflows/check-test.yml
Original file line number Diff line number Diff line change
@@ -10,37 +10,34 @@ env:
CARGO_TERM_COLOR: always

jobs:
check:
name: Check
check-test:
name: Build and test
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
os: [ubuntu-latest, macos-latest, windows-latest]
runs-on: ${{ matrix.os }}
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install stable toolchain
uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
- name: Run cargo check
run: cargo check --workspace --verbose --features=all

test:
name: Test suite
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
runs-on: ${{ matrix.os }}
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install stable toolchain
uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
- name: Build project
run: cargo build
- name: Run cargo test suite
run: cargo test --workspace --verbose
- name: Cargo build
shell: bash
run: |
if [ "$RUNNER_OS" == "Windows" ]; then
cargo build --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
else
cargo build --workspace --verbose --features=all
fi
- name: Cargo test
shell: bash
run: |
if [ "$RUNNER_OS" == "Windows" ]; then
cargo test --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
else
cargo test --workspace --verbose --features=all
fi
doc:
name: Doc
1 change: 0 additions & 1 deletion rustsat/Cargo.toml
Original file line number Diff line number Diff line change
@@ -52,7 +52,6 @@ all = [
"compression",
"rand",
"fxhash",
"pyapi"
]

[lib]

0 comments on commit ee725a6

Please sign in to comment.