Skip to content

Conversation

@robgruen
Copy link
Collaborator

@robgruen robgruen commented Dec 31, 2025

  • Added gate workflow which checks user's permissions and returns success/failure based on their write access to the repo
  • Updated CI workflow so that it is only triggered after gate workflow (can still be triggered manually)
  • Left security checks in CI just in case it gets run without the Gate trigger.
    (solution for Test failures send too much email #134 )

@gvanrossum
Copy link
Collaborator

In case you've been struggling with this, I just realized that the current workflow (at least on main) uses ci.yml from main. This follows from the pull_request_target semantics of starting with main.

@robgruen
Copy link
Collaborator Author

robgruen commented Dec 31, 2025 via email

@gvanrossum
Copy link
Collaborator

Make this a draft PR?

@robgruen
Copy link
Collaborator Author

Make this a draft PR?

I think it's ready for approval. I just merged main back in so I had to restart it but other than that it's ready to go.

@robgruen robgruen merged commit e1f7dd6 into main Dec 31, 2025
15 checks passed
@robgruen robgruen deleted the dev/robgruen/workflow_updates branch December 31, 2025 23:12
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.

3 participants