cleanup actions and scripts #58

	name: Check Generated Files

	on:
	pull_request: {}
	push:
	branches:
	- main

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	check-generated:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout tree
	uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5
	with:
	fetch-depth: 0
	fetch-tags: true
	- uses: semgrep/setup-ocaml@ce6a88f72f48e02a172c93eb93177b21659e7032
	with:
	cache-prefix: v1
	ocaml-compiler: 5.3.0
	opam-pin: false
	save-opam-post-run: true
	- uses: astral-sh/setup-uv@37802adc94f370d6bfd71619e3f0bf239e1f3b78
	with:
	enable-cache: auto
	python-version: "3.11"
	version: 0.9.26
	- name: install deps
	run: make setup
	- name: Regenerate files
	run: make
	- name: Check for changes
	run: \|
	git diff --exit-code \|\| {
	echo "::error::Generated files are out of date. Please run 'make setup && make' and commit the changes."
	git diff --stat
	exit 1
	}

Provide feedback