We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e2f161c commit 5d48738Copy full SHA for 5d48738
1 file changed
.github/workflows/devflow-pr-review.yml
@@ -24,7 +24,7 @@ concurrency:
24
25
env:
26
DEVFLOW_REPOSITORY: ${{ vars.DF_REPO }}
27
- DEVFLOW_REF: v0.1.15
+ DEVFLOW_REF: main
28
TARGET_REPO_PATH: ${{ github.workspace }}/target-repo
29
DEVFLOW_PATH: ${{ github.workspace }}/devflow
30
@@ -108,6 +108,10 @@ jobs:
108
needs: team_check
109
if: ${{ needs.team_check.outputs.is_team_member == 'true' }}
110
timeout-minutes: 60
111
+ # Advisory check: failures here should not block the PR. The reviewer
112
+ # posts comments as a best-effort signal; if the pipeline breaks, the
113
+ # PR author should still be able to merge without a red required check.
114
+ continue-on-error: true
115
116
steps:
117
# Safe checkout: base repo only, not the untrusted PR head.
0 commit comments