cyberneticlibrary
← library

Run CI checks locally

cicommandsetup L1★95
plclub/hs-to-rocq ↗
What it does

Run CI checks locally matching GitHub Actions

Best for

Testing a Haskell-to-Rocq compiler change locally before pushing by running the exact GitHub Actions workflow steps without Docker.

Inputs
  • · job name or 'all'
  • · Coq/Stack toolchain already installed
Outputs
  • · pass/fail per job step
  • · summary table of all steps and results
Requires
  • · stack
  • · coqc
  • · coq_makefile
Preconditions
  • · workspace root with .github/workflows/hs-to-rocq.yml
  • · Stack, Coq, and build tools installed
  • · git submodules initialized (for test-translation job)
Failure modes
  • · coq_makefile compilation failure in any target
  • · convenience copy mismatch (out-of-date translation)
  • · concurrent test job dependency ordering
  • · submodule not initialized for translation job
Trust signals
  • · exact .github/workflows mirroring
  • · dependency order documented (base → base-thy → examples)
  • · pass/fail table for audit trail
  • · exit code 2 handling for TODO_PASS tests