2 Commits

Author	SHA1	Message	Date
Philip Chimento	684aec777f	regexp-generator: Include these generated tests in make.py ... This is necessary so that updates to the tests without corresponding updates to the generator script will be flagged in CI runs.	2024-11-11 17:26:56 -08:00
Philip Chimento	24e46d9bc9	Combine push and PR actions ... This reduces duplication, with the tradeoff of having some steps in the linter job that are mutually exclusive depending on the job trigger.	2024-11-11 16:48:38 -08:00