Skip to content

construction: add GitHub connector publisher gate #192

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
yihanzhu merged 5 commits into from
Aug 30, 2026
Merged

construction: add GitHub connector publisher gate #192

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
0328f40
construction: add GitHub connector publisher gate
Aug 30, 2026
716fbdf
fix: preserve complete restore manifest
Aug 30, 2026
72068c8
Merge remote-tracking branch 'refs/remotes/origin/main' into codex/co…
Aug 30, 2026
1be38f2
fix: revalidate publisher receipt evidence
Aug 30, 2026
8e90fe1
Merge commit '94afa6a925c203051133f3017589f1848ee580c8' into codex/co…
Aug 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions ci/required-files.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -102,3 +102,7 @@ core/v1/generations/g-14b7ad8ce54c3b8c585ff92063d71551ffc7394cc2294d0297bc7d2b8d
scripts/test/portable-core-profile-graph-fixtures.jq
scripts/test/portable-core-profile-graph-ledger.tsv
scripts/test/portable-core-profile-graph.test.sh

# Construction-only GitHub connector publisher gate
scripts/construction-publisher-gate.sh
scripts/test/construction-publisher-gate.test.sh
Loading