Skip to content

Promote contracts CI fixes to main - #130

Merged
Hallab7 merged 1 commit into
mainfrom
develop
Sep 10, 2026
Merged

Promote contracts CI fixes to main#130
Hallab7 merged 1 commit into
mainfrom
develop

Conversation

@Hallab7

@Hallab7 Hallab7 commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

Summary

Promote the verified contracts develop branch to main. This pins deterministic Rust jobs, fixes shared-network sandbox refusal handling, and removes the automated Codex PR-review workflow.

Verification

  • formatting, Clippy, workspace tests, and build passed
  • binding regeneration and stale-output check passed
  • sandbox harness, release metadata, and security evidence checks passed
  • no Codex references remain under .github on develop

* Pin contracts Rust toolchain for deterministic CI

* Fix contracts sandbox refusal check

* Remove automated Codex PR review
@Hallab7
Hallab7 merged commit f62b1be into main Sep 10, 2026
20 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