Skip to content

chore(release): v1.2.0#41

Merged
jmf-pobox merged 1 commit intomainfrom
release/v1.2.0
Apr 14, 2026
Merged

chore(release): v1.2.0#41
jmf-pobox merged 1 commit intomainfrom
release/v1.2.0

Conversation

@jmf-pobox
Copy link
Copy Markdown
Owner

@jmf-pobox jmf-pobox commented Apr 14, 2026

Summary

Version bump 1.1.0 → 1.2.0. Moves CHANGELOG [Unreleased] to [1.2.0].

See CHANGELOG.md for the full release notes. Highlights:

  • EQUAL: block, o9 → \semi fix, paren policy (5 gaps)
  • Phase 1 e2e regression suite, markdownlint
  • Reference card, CLI help, getting-started examples
  • Ethos agent team, student-readiness polish

Test plan

  • make check (3505 tests)
  • make lint-md (89 files)
  • CI green

Note

Low Risk
Primarily a version bump and changelog reorganization with no functional code changes beyond updating the package version string. Low risk unless downstream tooling depends on the previous version number format/value.

Overview
Prepares the v1.2.0 release by moving the prior Unreleased notes into a dated 1.2.0 section and tightening the formatting/structure of the release notes in CHANGELOG.md.

Bumps the package version from 1.1.0 to 1.2.0 in src/txt2tex/__version__.py.

Reviewed by Cursor Bugbot for commit a97ba4d. Bugbot is set up for automated code reviews on this repo. Configure here.

Version 1.1.0 → 1.2.0. CHANGELOG [Unreleased] moved to [1.2.0]
with consolidated release notes covering:

- EQUAL: block for equational reasoning chains
- o9 → \semi composition fix (9 emission sites)
- Parenthesisation policy (5 ADR gaps closed)
- Phase 1 e2e regression suite (141 examples)
- Markdownlint in make check
- Reference card, CLI help epilog, getting-started examples
- Ethos agent team, install.sh
- Student-readiness cleanup (broken links, cruft, LICENSE)
Copilot AI review requested due to automatic review settings April 14, 2026 06:51
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Release chore to publish v1.2.0 by updating the package version and rolling the changelog’s Unreleased section into a dated 1.2.0 entry.

Changes:

  • Bump txt2tex version from 1.1.0 → 1.2.0.
  • Move release notes from [Unreleased] into a new [1.2.0] - 2026-04-14 section in CHANGELOG.md.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
src/txt2tex/__version__.py Updates the canonical package version string to 1.2.0.
CHANGELOG.md Adds the v1.2.0 release header/date and consolidates release notes under it.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@github-actions
Copy link
Copy Markdown

✅ Quality Gates Status

Commit: a97ba4d
Status: All quality checks passed

  • ✅ Linting (Ruff)
  • ✅ Type checking (MyPy strict)
  • ✅ Formatting
  • ✅ Tests with coverage

View workflow run

@jmf-pobox jmf-pobox merged commit bc5ee6d into main Apr 14, 2026
7 checks passed
@jmf-pobox jmf-pobox deleted the release/v1.2.0 branch April 14, 2026 06:54
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.

2 participants