fix: get user role before all requests (#393)

This commit is contained in:
Dream Hunter
2024-08-11 19:29:49 +08:00
committed by GitHub
parent bf1243f4c4
commit c733d3bf4d
4 changed files with 15 additions and 8 deletions

View File

@@ -3,7 +3,6 @@ name: Codium PR Agent
on:
pull_request:
types: [opened, reopened, ready_for_review]
issue_comment:
jobs:
pr_agent_job:
if: ${{ github.event.sender.type != 'Bot' }}