Skip to content

build: add a justfile mirroring the CI gates#39

Merged
UnbreakableMJ merged 1 commit into
mainfrom
dev-justfile
Jun 16, 2026
Merged

build: add a justfile mirroring the CI gates#39
UnbreakableMJ merged 1 commit into
mainfrom
dev-justfile

Conversation

@UnbreakableMJ

Copy link
Copy Markdown
Contributor

What

Adds a justfile that encodes the exact gate commands from .github/workflows/ci.yml as just recipes — so local pre-push checks match CI and can't drift, and the CI-exact incantations (which I've been running by hand) are one keystroke.

Recipes

  • just fmt / just fmt-fix
  • just clippyCI-exact: fresh-isolated CARGO_TARGET_DIR=target/clippy + RUSTFLAGS=-D warnings (a warm cache false-greens vs the runner)
  • just test (RUSTFLAGS=-D warnings) / just test-live (--ignored)
  • just headless (CLI without TUI, agent without clipboard)
  • just version-gate (vault --version carries the §13.2 block)
  • just deny / just audit
  • just fuzz [secs] (nightly EncString harness; just fuzz 86400 = the v0.1 soak) / just pqc
  • just ci — fmt → clippy → test → headless → version-gate → deny → audit, in order
  • just --list shows them all

Verification

just --list parses cleanly; just fmt and just version-gate run green locally. No Rust changed, so the CI jobs themselves are unaffected (CI invokes the cargo commands directly, not just). All three tools (cargo-deny/cargo-audit/cargo-fuzz) confirmed installed.

This was the last tracked dev-ergonomics follow-up.

🤖 Generated with Claude Code

Encodes the exact commands from .github/workflows/ci.yml as `just`
recipes so local runs match CI and can't drift: `just fmt`, `clippy`
(fresh-isolated target/clippy + -D warnings — the only form that matches
the runner), `test`, `headless`, `version-gate`, `deny`, `audit`, with
`just ci` running the full set; plus `just fuzz [secs]` (nightly) and
`just pqc`. `just --list` shows them all.

- README + CHANGELOG note the recipes.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@UnbreakableMJ UnbreakableMJ merged commit c5d00ba into main Jun 16, 2026
8 checks passed
@UnbreakableMJ UnbreakableMJ deleted the dev-justfile branch June 16, 2026 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant