Skip to content

chore: sync main to dev - #10056

Merged
anicalbano merged 2 commits into
devfrom
chore/sync
Sep 14, 2026
Merged

anicalbano merged 2 commits into
devfrom
chore/sync

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

👑 An automated PR

Important

This PR must be merged by an admin, as a merge commit ("Merge pull request", bypassing the linear-history rule) — never squash or rebase it.
Squashing rewrites the synced commits, which makes main and dev diverge silently and surfaces later as release-merge conflicts.
The enforce-approvals required check stays red until an admin approves this PR.

This manual procedure has kept main and dev in sync for years when followed — see #9566 for the mechanical enforcement plan (ruleset + bot bypass) we will apply if a squash slips through again.

@github-actions

github-actions Bot commented Sep 14, 2026

Copy link
Copy Markdown
Contributor Author

🚦 CI Status

Build

Build skipped — no changes detected under Explorer/.

Lint

Waiting for lint to start…

Tests

Waiting for tests to start…

Performance

Bare-metal benchmarks run automatically after each successful build; results land in this section. Add the perf_test label to run the in-repo Unity performance suite instead (skips normal CI and blocks merge while set).

Automation

On demand — comment /visual-tests on this PR to run the visual regression suite against its build.

@anicalbano
anicalbano merged commit eaf8d83 into dev Sep 14, 2026
25 of 27 checks passed
@anicalbano
anicalbano deleted the chore/sync branch September 14, 2026 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant