git.giacomolli.uk - onechat/blob - .agents/skills/check/SKILL.md

   1 ---
   2 name: check
   3 description: Format, lint, test, and build. Use before every commit.
   4 ---
   5
   6 # Check
   7
   8 Run every command in the Nix development shell. Use
   9 `nix develop -c COMMAND` when direnv does not load the shell.
  10
  11 ## Procedure
  12
  13 1. Format all files with `bin/format`.
  14 2. Run the checks with `bin/check`.
  15 3. Run `git add` on new files, then run `nix build` and
  16    `nix flake check`.
  17 4. Fix every failure and run the steps again. Do not disable a linter or
  18    add a `nolint` directive to get a pass, unless the user agrees.
  19 5. Read the final diff and compare it with `AGENTS.md` and the skills of
  20    the task. Passing tools do not replace this review.
  21
  22 Tell the user about each check that cannot run and each failure that
  23 stays.