Skip to content
Hygiene

feat(parser): add letting statements, add powers, fix imply and add imply test case, run all tests with native parser #270

Sign in to view logs

feat(parser): add letting statements, add powers, fix imply and add imply test case, run all tests with native parser

feat(parser): add letting statements, add powers, fix imply and add imply test case, run all tests with native parser #270

Workflow file for this run

.github/workflows/hygiene.yml at 216e621
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