AI SummaryRun 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:
Install
Copy this and paste it into Claude Code, Cursor, or any AI assistant:
I want to install the "base" skill in my project. Please run this command in my terminal: # Install skill into your project (2 files) mkdir -p .claude/skills/commands && curl --retry 3 --retry-delay 2 --retry-all-errors -o .claude/skills/commands/SKILL.md "https://raw.githubusercontent.com/plclub/hs-to-coq/master/.claude/commands/ci.md" && curl --retry 3 --retry-delay 2 --retry-all-errors -o .claude/skills/commands/ci-fix.md "https://raw.githubusercontent.com/plclub/hs-to-coq/master/.claude/commands/ci-fix.md" Then restart Claude Code (or reload the window in Cursor) so the skill is picked up.
Description
Run CI checks locally (mirrors GitHub Actions)
Build base-thy (needed for some examples)
(cd base-thy; coq_makefile -f _CoqProject -o Makefile) && make -j -C base-thy
Small examples
make -C examples/compiler make -C examples/rle make -C examples/quicksort make -C examples/dlist make -C examples/coinduction make -C examples/intervals make -C examples/successors make -C examples/lambda make -C examples/simple (cd examples/bag; coq_makefile -f _CoqProject -o Makefile) && make -C examples/bag coqc -Q base "" examples/resources/list_monad.v ` Run each command sequentially. Report pass/fail for each step.
Job: build
`bash stack build `
Job: test-coq
Build all Coq targets in dependency order. For each directory, generate the Makefile from _CoqProject first: `bash
Discussion
Health Signals
My Fox Den
Community Rating
Sign in to rate this booster