From 119533d60278a7ee0a2438ef030bbdd5444ae235 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Thu, 29 Jan 2026 03:14:38 +0000 Subject: [PATCH] doc: add changelog label instructions to CLAUDE.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude --- .claude/CLAUDE.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md index f58ac33166..fe28fcf535 100644 --- a/.claude/CLAUDE.md +++ b/.claude/CLAUDE.md @@ -46,6 +46,21 @@ This PR adds a `num?` parameter to `mkPatternFromTheorem` to control how many leading quantifiers are stripped when creating a pattern. ``` +**Changelog labels:** Add one `changelog-*` label to categorize the PR for release notes: +- `changelog-language` - Language features and metaprograms +- `changelog-tactics` - User facing tactics +- `changelog-server` - Language server, widgets, and IDE extensions +- `changelog-pp` - Pretty printing +- `changelog-library` - Library +- `changelog-compiler` - Compiler, runtime, and FFI +- `changelog-lake` - Lake +- `changelog-doc` - Documentation +- `changelog-ffi` - FFI changes +- `changelog-other` - Other changes +- `changelog-no` - Do not include this PR in the release changelog + +If you're unsure which label applies, it's fine to omit the label and let reviewers add it. + ## CI Log Retrieval When CI jobs fail, investigate immediately - don't wait for other jobs to complete. Individual job logs are often available even while other jobs are still running. Try `gh run view --log` or `gh run view --log-failed`, or use `gh run view --job=` to target the specific failed job. Sleeping is fine when asked to monitor CI and no failures exist yet, but once any job fails, investigate that failure immediately.