feat: batch add 14 reduction rules (hard rules phase 2) (#1028) #1684

	name: CI

	on:
	push:
	branches: [ main, develop ]
	pull_request:
	branches: [ main, develop ]

	env:
	CARGO_TERM_COLOR: always
	RUST_BACKTRACE: 1

	jobs:
	# Run clippy
	clippy:
	name: Clippy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy
	- uses: Swatinem/rust-cache@v2
	- name: Run clippy
	run: cargo clippy --all-targets --features ilp-highs -- -D warnings

	# Build and test
	test:
	name: Test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2

	- name: Build
	run: cargo build --features ilp-highs --verbose

	- name: Run tests
	run: cargo test --features "ilp-highs example-db" --workspace --verbose

	- name: Run doc tests
	run: cargo test --doc --features ilp-highs --verbose

	- name: Install typst
	uses: typst-community/setup-typst@v4

	- name: Build paper
	run: make paper

	# Code coverage
	coverage:
	name: Code Coverage
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: llvm-tools-preview
	- uses: Swatinem/rust-cache@v2
	- name: Install cargo-llvm-cov
	uses: taiki-e/install-action@cargo-llvm-cov
	- name: Generate coverage
	run: cargo llvm-cov --features ilp-highs --workspace --lcov --output-path lcov.info
	- name: Upload to codecov.io
	uses: codecov/codecov-action@v5
	with:
	files: lcov.info
	fail_ci_if_error: false # Don't fail CI if upload fails
	token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback