user 1535c09da5 move 'make check' into Dockerfile, simplify CI to just 'docker build .' ... Per reviewer feedback: the Dockerfile now runs 'make check' early in its build process (after dependencies are extracted). The CI workflow is simplified to just run 'docker build .', which implicitly runs 'make check' as part of the Docker build.		2026-02-28 10:24:49 -08:00
..
check.yml	move 'make check' into Dockerfile, simplify CI to just 'docker build .'	2026-02-28 10:24:49 -08:00