Skip to content

Update autograder PR feedback flow - #665

Merged
danielrazavi merged 1 commit into
mainfrom
autograder-feedback-comments
Aug 4, 2026
Merged

Update autograder PR feedback flow#665
danielrazavi merged 1 commit into
mainfrom
autograder-feedback-comments

Conversation

@danielrazavi

Copy link
Copy Markdown
Member

Summary

This updates the assignment autograder feedback flow so passing submissions no longer require the GitHub Actions bot to create a formal PR approval.

Changes

  • Always posts autograder results as a normal PR comment.
  • Adds an explicit “approved by the autograder” message when all checks pass.
  • Keeps REQUEST_CHANGES reviews for failing submissions.
  • Adds workflow permissions needed for PR comments and request-changes reviews.
  • Adds Python cache files/directories to .gitignore.

Why

GitHub blocks Actions-created approval reviews unless the repo setting “Allow GitHub Actions to create and approve pull requests” is enabled. Posting the passing result as a normal PR comment avoids requiring participants to change repository settings, while still preserving request-changes reviews for failed submissions.

@github-actions

github-actions Bot commented Aug 4, 2026

Copy link
Copy Markdown

Thanks for your contribution! 🎉

Please remember to tag or request a review from the DSI team. Give us up to 72 hours to review your pull request. We appreciate your patience and efforts.

@danielrazavi
danielrazavi merged commit 3308f7e into main Aug 4, 2026
3 checks passed
@danielrazavi
danielrazavi deleted the autograder-feedback-comments branch August 4, 2026 17:05
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.

2 participants