Skip to content

libcore: rebuild 0.3.0-rc.1 bottle under correct name#19

Closed
csparker247 wants to merge 1 commit into
mainfrom
libcore-fix-bottle
Closed

libcore: rebuild 0.3.0-rc.1 bottle under correct name#19
csparker247 wants to merge 1 commit into
mainfrom
libcore-fix-bottle

Conversation

@csparker247

Copy link
Copy Markdown
Member

Problem

After merge, installing libcore fails:

✘ Bottle libcore (0.3.0-rc.1)
Error: Failed to download resource "libcore"
Download failed: https://ghcr.io/v2/educelab/code/libcore/blobs/sha256:9c31...
curl: (56) The requested URL returned error: 404

The 0.3.0-rc.1 bottles were built and uploaded to ghcr.io/v2/educelab/code/**educelab-libcore** (commit a3c566c), before the formula was renamed educelab-libcorelibcore (commits 299c0c0, 2cd5138). Homebrew now resolves bottle blobs under .../libcore, which don't exist → 404.

The bottle tarball embeds the formula name in its Cellar paths, so the existing blob can't just be retagged — bottles must be rebuilt under the libcore name.

Fix

Remove the orphaned bottle do block. Label this PR pr-pull so test-bot rebuilds the bottles and publish.yml uploads them to ghcr.io/v2/educelab/code/libcore and commits fresh hashes.

Follow-up (manual)

The orphaned educelab/code/educelab-libcore GHCR package (tag 0.3.0-rc.1) should be deleted — nothing references it anymore.

🤖 Generated with Claude Code

The 0.3.0-rc.1 bottles were built and uploaded to
ghcr.io/v2/educelab/code/educelab-libcore before the formula was
renamed from educelab-libcore to libcore. Homebrew now resolves
bottle blobs under .../libcore, which 404s. Remove the orphaned
bottle block so pr-pull rebuilds and uploads bottles under the
correct libcore name.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@csparker247 csparker247 added the pr-pull Mark a formula ready for merge label Jun 26, 2026
@github-actions github-actions Bot closed this in fd04db0 Jun 26, 2026
@github-actions github-actions Bot deleted the libcore-fix-bottle branch June 26, 2026 23:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-pull Mark a formula ready for merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant