Skip to content

Implement crates.io publish CI job#533

Merged
enricopiovesan merged 1 commit into
mainfrom
codex/issue-514-publish-ci
Jul 5, 2026
Merged

Implement crates.io publish CI job#533
enricopiovesan merged 1 commit into
mainfrom
codex/issue-514-publish-ci

Conversation

@enricopiovesan

Copy link
Copy Markdown
Collaborator

Governing Spec

  • 048-semver-publishing-pipeline
  • 004-spec-alignment-gate

Project Item

Validation

  • bash -n scripts/ci/publish_crates.sh
  • workflow YAML parsed successfully
  • cargo check --workspace
  • cargo test --workspace
  • packaged all six crates with cargo package --no-verify --allow-dirty --list
  • one-crate script dry-run: TRAVERSE_PUBLISH_CRATES=traverse-contracts TRAVERSE_PUBLISH_DRY_RUN=1 TRAVERSE_PUBLISH_NO_VERIFY=1 TRAVERSE_PUBLISH_ALLOW_DIRTY=1 bash scripts/ci/publish_crates.sh
  • no-token real publish path exits non-zero before publishing
  • duplicate-upload branch simulated with fake Cargo shim and exits 0
  • python3 -m json.tool specs/governance/approved-specs.json
  • bash scripts/ci/repository_checks.sh

@enricopiovesan enricopiovesan merged commit fda328f into main Jul 5, 2026
12 checks passed
@enricopiovesan enricopiovesan deleted the codex/issue-514-publish-ci branch July 5, 2026 04:24
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.

Implement crates.io publish CI job (spec 048)

1 participant