Test

SAT-based optimization for ESOP #84

	# Taken from https://github.com/BamPeers/rust-ci-github-actions-workflow

	on:
	push:
	branches: [ "*" ]
	pull_request:
	branches: [ "*" ]


	name: Test

	jobs:
	check:
	name: Check
	strategy:
	matrix:
	os: [ubuntu-latest, windows-latest, macos-latest]
	features: ["", "--no-default-features"]
	include:
	- os: ubuntu-latest
	features: "--features optim-mip"
	- os: ubuntu-latest
	features: "--features optim-sat"
	runs-on: ${{ matrix.os }}
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Setup Rust
	uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true

	- name: Install dependencies
	run: rustup component add rustfmt

	- name: Check
	uses: actions-rs/cargo@v1
	with:
	command: check
	args: ${{ matrix.features }}

	- name: Test
	uses: actions-rs/cargo@v1
	timeout-minutes: 10
	with:
	command: test
	args: ${{ matrix.features }}

	- name: Format
	uses: actions-rs/cargo@v1
	with:
	command: fmt
	args: --all -- --check

	- name: Readme
	run: \|
	cargo install cargo-rdme
	cargo rdme --check

	clippy:
	name: Clippy
	runs-on: ubuntu-latest
	permissions:
	checks: write
	steps:
	- uses: actions/checkout@v4
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	components: clippy
	override: true
	- uses: actions-rs/clippy-check@v1
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	args: --all-features
	name: Clippy Output

	bench:
	name: Bench
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: nightly
	override: true
	- uses: actions-rs/cargo@v1
	with:
	command: bench

Provide feedback