Skip to content
Rust

Initial Propositional Logic implementation #174

Sign in to view logs

Initial Propositional Logic implementation

Initial Propositional Logic implementation #174

Workflow file for this run

.github/workflows/rust.yml at 3a97525
name: Rust
on:
push:
branches: ["develop"]
pull_request:
branches: ["develop"]
env:
CARGO_TERM_COLOR: always
RUST_CHANNEL: stable
# Lets us format with unstable rustfmt options
RUST_FMT_CHANNEL: nightly
jobs:
# build:
# runs-on: ubuntu-latest
# strategy:
# matrix:
# crate: []
# steps:
# - uses: actions/checkout@v3
# - name: Install Rust toolchain
# run: |
# rustup toolchain install --profile minimal --no-self-update ${{ env.RUST_CHANNEL }}
# rustup default ${{ env.RUST_CHANNEL }}
# - name: Cache dependencies
# uses: Swatinem/rust-cache@v2
# - name: Build ${{ matrix.crate }}
# run: cargo install --root dist/ --path crates/${{ matrix.crate }}
# - name: Upload build artifact
# uses: actions/upload-artifact@v3
# with:
# name: ${{ matrix.crate }}-${{ matrix.os }}
# path: dist/
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Install Rust toolchain
run: |
rustup toolchain install --profile minimal --no-self-update ${{ env.RUST_CHANNEL }}
rustup default ${{ env.RUST_CHANNEL }}
- name: Cache dependencies
uses: Swatinem/rust-cache@v2
- name: Run cargo test
run: cargo test --all-features
clippy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Install Rust toolchain
run: |
rustup toolchain install --profile minimal --component clippy --no-self-update ${{ env.RUST_CHANNEL }}
rustup default ${{ env.RUST_CHANNEL }}
- name: Cache dependencies
uses: Swatinem/rust-cache@v2
- name: Run clippy
run: cargo clippy --tests --features splr,cadical,kissat,intel-sat,ipasir-up -- -D warnings
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Install Rust toolchain
run: |
rustup toolchain install --profile minimal --component rustfmt --no-self-update ${{ env.RUST_FMT_CHANNEL }}
rustup default ${{ env.RUST_CHANNEL }}
- name: Run cargo format
run: cargo +nightly fmt --all --check
# TODO: Re-enable after first release
# semver:
# runs-on: ubuntu-latest
# steps:
# - uses: actions/checkout@v4
# with:
# submodules: true
# - name: Check semver
# uses: obi1kenobi/cargo-semver-checks-action@v2
# with:
# crate-name: pindakaas