refactor(rule_engine)!: give rules symbol-table instead of the model as input #261
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: "Hygiene" | |
| on: | |
| push: | |
| branches: | |
| - main # run for pushes to the main branch. other branches need to create a PR if they want testing. | |
| paths: | |
| - conjure_oxide/** | |
| - solvers/** | |
| - crates/** | |
| - Cargo.* | |
| - conjure_oxide/tests/** | |
| - .github/workflows/lint.yml | |
| pull_request: | |
| paths: | |
| - conjure_oxide/** | |
| - solvers/** | |
| - crates/** | |
| - Cargo.* | |
| - conjure_oxide/tests/** | |
| - .github/workflows/lint.yml | |
| workflow_dispatch: | |
| env: | |
| SCCACHE_GHA_ENABLED: "true" | |
| RUSTC_WRAPPER: "sccache" | |
| SCCACHE_GHA_VERSION: 5 | |
| jobs: | |
| Check: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| components: rustfmt | |
| - name: Run sccache-cache | |
| uses: mozilla-actions/sccache-action@v0.0.3 | |
| - run: RUSTFLAGS="-D warnings" cargo build -vv --workspace | |
| - run: RUSTFLAGS="-D warnings" cargo build -vv --workspace --examples | |
| - run: cargo clippy -- -D warnings -A clippy::unwrap_used -A clippy::expect_used | |
| - run: cargo fmt --check | |