Skip to content

Regenerate package interfaces with stable toolchain - #3971

Merged
bobzhang merged 1 commit into
mainfrom
agent/regenerate-mbti-stable
Aug 4, 2026
Merged

Regenerate package interfaces with stable toolchain#3971
bobzhang merged 1 commit into
mainfrom
agent/regenerate-mbti-stable

Conversation

@Yu-zh

@Yu-zh Yu-zh commented Aug 3, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • regenerate all tracked pkg.generated.mbti files with the current stable MoonBit toolchain
  • accept the generator's removal of the trailing blank line in 79 interface files

Root cause

The stable toolchain now emits generated interfaces without an extra final blank line. The stable-check workflow runs moon info and then git diff --exit-code, so the stale checked-in output caused the moon info job to fail on macOS, Ubuntu, and Windows.

This is generated-output normalization only; no public API declarations change. It also unblocks the stable checks observed on #3970.

Validation

  • moon info --target wasm,wasm-gc,js,native && git diff --exit-code
  • moon fmt
  • moon check --warn-list +unnecessary_annotation
  • moon test — 7,000 tests passed

@Yu-zh
Yu-zh marked this pull request as ready for review August 3, 2026 15:16
@coveralls

Copy link
Copy Markdown
Collaborator

Coverage Report for CI Build 5724

Coverage remained the same at 90.458%

Details

  • Coverage remained the same as the base build.
  • Patch coverage: No coverable lines changed in this PR.
  • No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 17754
Covered Lines: 16060
Line Coverage: 90.46%
Coverage Strength: 171797.21 hits per line

💛 - Coveralls

@bobzhang
bobzhang merged commit 839f45b into main Aug 4, 2026
15 checks passed
@bobzhang
bobzhang deleted the agent/regenerate-mbti-stable branch August 4, 2026 01:07
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.

3 participants