Drop Python 3.7 and 3.8, update build and metadata #1

	name: CI

	on:
	push:
	branches:
	- main
	pull_request:
	types: [opened, synchronize, reopened]
	jobs:
	test:
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: [3.8, 3.9, "3.10", "3.11", "3.12"]

	steps:
	- uses: actions/checkout@v4
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v5
	with:
	python-version: ${{ matrix.python-version }}
	- name: check OS
	run: cat /etc/os-release
	- name: Install Make
	run: \|
	sudo apt-get update
	sudo apt-get install --reinstall make
	- name: Upgrade pip
	run: python3 -m pip install --upgrade pip
	- name: Install Coqpit
	run: \|
	pip install -r requirements_dev.txt
	pip install -e .
	- name: Lint check
	run: make lint
	- name: Unit tests
	run: make test
	- name: Test package build
	run: \|
	pip install build
	python -m build

Provide feedback