Skip to content

Promote develop to main (v0.12.0: 2026 app icon) - #128

Merged
its-janghoon merged 5 commits into
mainfrom
develop
Oct 20, 2026
Merged

its-janghoon merged 5 commits into
mainfrom
develop

Conversation

@its-janghoon

Copy link
Copy Markdown
Member

What's done

What's not done

  • Windows run.

What to review

  • Release of the 2026 icon so Redrob Launcher shows it.

Intentions

  • Code v0.12.0 (release workflow, bump minor).

Replace the upstream geometric mark in packages/identity (and everything that
reads it) with the Redrob Code icon from @redrob-labs/ui@1.8.0,
dist/brand/app-icons/redrob-code, copied byte for byte.

- packages/identity/mark.svg, packages/docs/favicon.svg:
  redrob-code-icon-web.svg
  sha256 0a9840bb44ac1307014d59b9e33e279b1568cbf51137745a437d7c4fbd755dcc
- packages/identity/mark-light.svg (the VS Code dark-theme button):
  redrob-code-icon-web-dark.svg
  sha256 c9dd2dff9c6e4bc274c42f2d41856b573d659a55941aa30af0ca81421f249e57
- packages/identity/mark-{96x96,192x192,512x512}.png: icon-web rendered with
  Chromium at 1024 px, Lanczos-resized. mark-512x512.png is the asset the
  release uploads as redrob-code.png for Redrob Launcher (redrob-launcher.json
  "icon"), and the VS Code extension icon (sdks/vscode/images/icon.png links to it).
- packages/identity/mark-512x512-light.png: icon-web-dark, same render.

The masked web variant is used because every consumer shows the PNG as is
(launcher catalog, Linux menu entry, VS Code marketplace, docs favicon); the
unmasked -icon tile would show square corners there.
brand: ship the 2026 Redrob Code app icon
- PR CI is one linux path: typecheck, core (linux), httpapi (linux), unit (linux) aggregator.
- engine shards (linux 4x) and windows legs (5x) run on workflow_dispatch only.
- typecheck folded into test.yml so one changes job gates it; job name unchanged.
- changes job: docs-only or version-string-only PRs skip every heavy job; skipped required checks pass.
- engine-client: drop windows/macos matrix legs.
ci: thin PR CI, skip docs/version-only PRs
@its-janghoon
its-janghoon merged commit 69e3ed4 into main Oct 20, 2026
17 checks passed

This branch was successfully deployed

1 active deployment
release — 90d2d072 Deployed Oct 20, 2026 by its-janghoon via publish / Publish GitHub release #49
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