build(deps): bump install-pinned/mypy from 812c1e7b83dc0b678bdb1c0610d937077c32615e to 15172e0901cf7045a4181d12138212867fb66389 #106

	name: BatSat

	on:
	push:
	branches: [ "main", "next-major" ]
	pull_request:
	branches: [ "main", "next-major" ]

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build-test:
	name: Build and test
	strategy:
	matrix:
	os: [ubuntu-latest, macos-latest, windows-latest]
	runs-on: ${{ matrix.os }}
	steps:
	- name: Checkout sources
	uses: actions/checkout@v4
	- name: Install stable toolchain
	uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	with:
	shared-key: "build-test"
	- name: Cargo build
	run: cargo build -p rustsat-batsat --verbose
	- name: Cargo test
	run: cargo test -p rustsat-batsat --verbose

Provide feedback