plclub

CI — Development skill for Claude Code

Development community

description: Run CI checks locally (mirrors GitHub Actions) allowed-tools: Bash, Read, Glob, Grep argument-hint: "[job-name] (build test-coq tests test-translation all)" Run CI checks locally, mirroring the GitHub….

How to install CI

Installs to ~/.claude/commands/plclub-hs-to-coq-ci.md

Terminal

mkdir -p ~/.claude/commands && curl -fsSL https://raw.githubusercontent.com/plclub/hs-to-coq/HEAD/.claude/commands/ci.md -o ~/.claude/commands/plclub-hs-to-coq-ci.md

Restart Claude Code, or start a new session, for it to be picked up.

What CI does

description: Run CI checks locally (mirrors GitHub Actions) allowed-tools: Bash, Read, Glob, Grep argument-hint: "[job-name] (build|test-coq|tests|test-translation|all)"

Run CI checks locally, mirroring the GitHub Actions workflow in `.github/workflows/hs-to-rocq.yml`. Assume all tools (stack, coqc, coq_makefile) are already installed — no Docker or opam setup needed. Do NOT use `--allow-different-user` (that's only for CI containers).

All commands must be run from the workspace root u

Alternatives in Development

Auto Update — Pull the latest ECC repo changes and reinstall the current managed targets 243.5k ★
Sharing Skills — skill for guidance 115.1k ★
Template Skill — Minimal skeleton for a new skill project structure 97.5k ★