ci: close stale auto-docs PRs#299
Closed
devin-ai-integration[bot] wants to merge 2 commits into
Closed
Conversation
Contributor
Author
🤖 Devin AI EngineerI'll be helping with this pull request! Here's what you should know: ✅ I will automatically:
Note: I can only respond to comments from users who have write access to this repository. ⚙️ Control Options:
|
This was referenced May 14, 2026
Contributor
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pull Request Description
Summary
Adds a 7-day stale check to
auto-docs.ymlso an unchanged openauto-docs/updatePR is closed before the workflow proceeds to generate and push fresh documentation updates.Type of Change
Related Issues
Relates to #288
Motivation and Context
Why is this change required?
The v3.1.0 hygiene instructions asked to close PR #288 if
auto-docs.ymlis producing nothing actionable and to add a 7-day stale check to that workflow.What problem does it solve?
It prevents old automated documentation PRs from staying open indefinitely when the branch is not being refreshed with actionable changes.
Cryptographic Impact
Security Impact Assessment
Standards Compliance
Academic References
N/A — no cryptographic construction changes.
Security Analysis
Classical Security: No cryptographic implementation changes.
Quantum Security: No PQC implementation or parameter changes.
Security Impact: Workflow maintenance only.
Implementation Details
Changes Made
issues: writeso the workflow can leave a close comment on stale auto-docs PRs.Close stale auto-docs PRstep that checks the openauto-docs/updatePR'supdatedAttimestamp.Technical Approach
Use
gh pr listto inspect the current auto-docs PR andgh pr closeto close stale output before the Sphinx build/update branch step runs. This leaves normal no-change behavior intact.Breaking Changes
Breaking Changes:
Migration Path:
N/A.
Testing
Test Coverage
Testing Performed
Environment:
Test Cases:
.github/workflows/auto-docs.ymlwith PyYAML.permissions.issues == write.Close stale auto-docs PRworkflow step exists.git diff --check.Known Test Vectors
Code Quality
Code Quality Checks
black .)ruff check .)mypy ama_cryptography/)Documentation Updates
Backwards Compatibility
Compatibility Assessment
Deprecation Notices
Deprecated Features:
Deprecation Timeline:
Performance Impact
Performance Analysis
Benchmarks:
N/A — workflow metadata only.
Impact:
Link to Devin session: https://app.devin.ai/sessions/380c3bcb95034d1f83fb66062f20e8cf
Requested by: @Steel-SecAdv-LLC