Skip to content

ci: GOPRIVATE for the codefly install step — unblocks all three open PRs - #16

Merged
AntoineToussaint merged 1 commit into
mainfrom
ci/goprivate-codefly-install
Jul 26, 2026
Merged

ci: GOPRIVATE for the codefly install step — unblocks all three open PRs#16
AntoineToussaint merged 1 commit into
mainfrom
ci/goprivate-codefly-install

Conversation

@AntoineToussaint

Copy link
Copy Markdown
Contributor

Every open PR (#7, #11, #15) fails the same way: go install github.com/codefly-dev/cli/cmd/codefly@latestsum.golang.org … cli@v0.1.34: 500 Internal Server Error.

First-party codefly-dev/* modules should never verify against the public checksum DB — fresh tags aren't indexed and private repos never will be. Mind's CI sets exactly this in scripts/ci-fetch-codefly.sh:72.

One env line on the install step. After this merges, rebase or re-run the three PRs and their Codefly CI check can actually evaluate them.

Note: this is NOT the banned checksum-bypass class from mind#167 — that rule protects against papering over mismatches on public third-party modules; GOPRIVATE for first-party org modules is the standard, correct mechanism.

🤖 Generated with Claude Code

…-party tags

All three open PRs fail 'Install Codefly' identically:
sum.golang.org lookup for cli@v0.1.34 returns 500. First-party
codefly-dev modules must not verify against the public checksum DB;
Mind's CI already sets GOPRIVATE for the same reason.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@AntoineToussaint
AntoineToussaint merged commit d5e8091 into main Jul 26, 2026
2 checks passed
@AntoineToussaint
AntoineToussaint deleted the ci/goprivate-codefly-install branch July 26, 2026 20:43
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