Skip to content

Split the mixed changeset of #174 - #175

Merged
martin-henz merged 1 commit into
mainfrom
split-hover-arrows-changeset
Oct 13, 2026
Merged

martin-henz merged 1 commit into
mainfrom
split-hover-arrows-changeset

Conversation

@martin-henz

Copy link
Copy Markdown
Member

The release step of on_push.yml failed on main after #174: "Found mixed changeset estepper-hover-arrows ... Mixed changesets that contain both ignored and not ignored packages are not allowed" (@sourceacademy/web-e-stepper is in ignore, @sourceacademy/common-cse-machine is not). The build job failed and the deploy was skipped, so the e-stepper bundle on GitHub Pages is still the old one.

Two changesets, one per package. Same fix as ce597f0 for #163.

🤖 Generated with Claude Code

…othing deployed

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@changeset-bot

changeset-bot Bot commented Oct 13, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: 323173d

The changes in this PR will be included in the next version bump.

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@martin-henz
martin-henz merged commit e86833c into main Oct 13, 2026
1 check passed
@martin-henz
martin-henz deleted the split-hover-arrows-changeset branch October 13, 2026 23:29
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