Skip to content

docs gate: pin docproof to v0.1.0 instead of a moving branch - #37

Merged
github-actions[bot] merged 1 commit into
mainfrom
pin-docproof-v0.1.0
Aug 18, 2026
Merged

docs gate: pin docproof to v0.1.0 instead of a moving branch#37
github-actions[bot] merged 1 commit into
mainfrom
pin-docproof-v0.1.0

Conversation

@melbinjp

Copy link
Copy Markdown
Owner

This workflow used melbinjp/docproof@main because @main was the only reachable form. docproof had no tag, so every run of this gate took whatever happened to be on that branch at that moment.

A gate whose own version moves underneath it cannot tell you whether your code changed or the checker did. That is the same failure the gate exists to catch, one level up.

docproof v0.1.0 was released today, from the same GitHub release a Marketplace listing is made from. The action inputs are unchanged.

This said melbinjp/docproof@main because @main was the only reachable form:
docproof had no tag. So every run of this gate took whatever happened to be on
that branch, and a gate whose own version moves underneath it cannot tell you
whether your code changed or the checker did.

docproof v0.1.0 was released today from the same GitHub release a Marketplace
listing is made from.
@github-actions
github-actions Bot enabled auto-merge (squash) August 18, 2026 04:21
@github-actions

github-actions Bot commented Aug 18, 2026

Copy link
Copy Markdown

Jules Review

COVERAGE: 811d121 1 files

Summary

This PR pins the melbinjp/docproof GitHub Action to version v0.1.0 instead of relying on the mutable main branch. This is a solid reliability improvement that prevents the CI from unexpectedly breaking or changing behavior due to upstream updates on the action's main branch.

Verdict

VERDICT: approve


This review never edits code or force-blocks a merge. No blocking issues were found, so this PR was auto-approved.

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Automated approval: Jules found no blocking issues (verdict: approve). See the review comment above.

@github-actions
github-actions Bot merged commit ea55f85 into main Aug 18, 2026
23 of 24 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