Skip to content

release: develop → main (site advertises server v0.12.6) - #198

Merged
dvcdsys merged 2 commits into
mainfrom
develop
Jul 24, 2026
Merged

release: develop → main (site advertises server v0.12.6)#198
dvcdsys merged 2 commits into
mainfrom
develop

Conversation

@dvcdsys

@dvcdsys dvcdsys commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Promotes the site version bump (#197) so the published site stops advertising v0.12.5. The site auto-deploys from main.

Only change since the previous promotion (#195): SERVER_VERSION 0.12.5 → 0.12.6 in site/src/shared/versions.js.

The v0.12.6 images are live on Docker Hub and prod is already running v0.12.6-cu128, so this no longer claims anything untagged.

🤖 Generated with Claude Code

dvcdsys and others added 2 commits July 24, 2026 23:03
The v0.12.6 images are on Docker Hub, so the site may now name the version.
Policy is that versions.js only ever advertises an already-tagged release —
which is why this is a separate PR after the tag rather than part of it, and
why the release workflow's site-version job is non-blocking.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
chore(site): advertise server v0.12.6
@dvcdsys
dvcdsys merged commit a1b0b3c into main Jul 24, 2026
9 checks passed
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