Skip to content

Validate plugin manifests in CI - #1

Merged
tsenart merged 1 commit into
mainfrom
ci/validate-manifests
Oct 19, 2026
Merged

tsenart merged 1 commit into
mainfrom
ci/validate-manifests

Conversation

@tsenart

@tsenart tsenart commented Oct 19, 2026 •

Copy link
Copy Markdown
Contributor

The plugin manifests have no CI validation. Add a read-only check that parses every tracked JSON manifest on pull requests and main, and rejects symlink or non-file entries.

Validation: all five manifests pass; a tracked symlink to a JSON file outside the checkout fails; actionlint and whitespace checks pass.

Audit receipt

Outcome: Reject invalid plugin manifests before merging changes.
Change: A read-only GitHub Actions job parses tracked JSON files and rejects symlinks and non-file entries.
Proof: Head 02e58355ccfa4c462372bfe039a63119d872f71e; base 199d170472a3fe8e2d3cdecdba46591fd8e448ae; stable Myers patch ID a8396925c06e56836c3be866a1f0ba9347492336. Green CI job. Independent technical review. Confidential review receipt retained, SHA-256 a48df6cce614f2bcfb8aeacfc7dba31f100d61c4f51f2f4adb9d257c18d20132.
Risk: Changes CI configuration only. Tracked manifests must be regular files. No runtime or deployment change.
Owner: Tomás Senart. Full ownership and authorization evidence is retained in the confidential receipt.

@tsenart

tsenart commented Oct 19, 2026

Copy link
Copy Markdown
Contributor Author

Independent review passed for the CI change at head 02e58355ccfa4c462372bfe039a63119d872f71e, base 199d170472a3fe8e2d3cdecdba46591fd8e448ae, stable Myers patch ID a8396925c06e56836c3be866a1f0ba9347492336.

The review covered security, correctness and maintainability. The check parses tracked JSON files, rejects symlinks and non-file entries, uses read-only repository permissions, and pins checkout without retained credentials. All five manifests pass; a tracked symlink to JSON outside the checkout fails. GitHub's check job passed for this exact head.

Confidential review receipt retained, SHA-256 a48df6cce614f2bcfb8aeacfc7dba31f100d61c4f51f2f4adb9d257c18d20132.

@tsenart
tsenart merged commit b55653b into main Oct 19, 2026
1 check 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