1 boosters for "coq" — open source, verified from GitHub, ready to install
Run CI checks locally, mirroring the GitHub Actions workflow in . Assume all tools (stack, coqc, coq_makefile) are already installed — no Docker or opam setup needed. Do NOT use (that's only for CI containers). All commands must be run from the workspace root using relative paths. The argument is:
