Skip to content

Automate problem verification and releases#14

Merged
uswebk merged 2 commits into
mainfrom
ci/automate-release
Jul 23, 2026
Merged

Automate problem verification and releases#14
uswebk merged 2 commits into
mainfrom
ci/automate-release

Conversation

@uswebk

@uswebk uswebk commented Jul 23, 2026

Copy link
Copy Markdown
Owner

Summary

  • scripts/verify_problems.lua — 全問題を headless Neovim で再生し、startgoal の変形とスキーマ(id 形式・重複、notes と solutions の数、i18n.ja/en 必須、optimal 1つ、difficulty 1-3)を検証
  • scripts/load_check.lualua/vimro/** の全モジュールと plugin/vimro.lua の読み込みチェック
  • .github/workflows/ci.yml — PR と main push で上記2つを実行
  • .github/workflows/release.yml — main マージで検証 → タグ → リリースを自動化。bump は PR ラベル(breaking → major / enhancement → minor / それ以外は patch)で決定し、ノートは GitHub 自動生成 + scripts/problem_delta.sh の問題差分
  • スキル・CLAUDE.md・README 両言語を新しい検証コマンドとリリース運用に更新。CLAUDE.md に残っていた削除済み keys.lua とカテゴリのハードコード記述も修正

Verification

  • nvim --headless -u NONE -l scripts/verify_problems.luaOK - 38 problems verified (data: 8, plain: 20, python: 10)
  • nvim --headless -u NONE -l scripts/load_check.luaOK - 7 modules loaded
  • goalnotes をわざと壊すと exit 1 で該当 id と実バッファ内容を出力することを確認(revert 済み)
  • ワークフロー2本の YAML 構文と problem_delta.sh の bash 構文を確認

この PR 自体はラベル無し = patch 扱いなので、マージすると v1.2.2 が自動リリースされます。

🤖 Generated with Claude Code

uswebk and others added 2 commits July 23, 2026 22:16
Add scripts/verify_problems.lua (headless replay of every solution plus
schema checks) and scripts/load_check.lua, run both from CI on every pull
request, and release automatically on merge to main: the merged PR's labels
pick the bump (breaking/enhancement/otherwise patch), the tag is derived from
the latest v* tag, and the notes carry a problem-count delta.

Also refresh CLAUDE.md, which still described the removed keys.lua and a
hardcoded category list.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
The bullet list duplicated what verify_problems.lua checks and would drift
from it. Keep the command itself: the skill runs before the PR exists, so a
local failure is cheaper than a red CI run on a published PR.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@uswebk
uswebk merged commit 99890d6 into main Jul 23, 2026
2 checks passed
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