1
0
mirror of synced 2026-01-09 15:02:41 -05:00

Merge pull request #23030 from github/repo-sync

repo sync
This commit is contained in:
Octomerger Bot
2023-01-05 17:09:47 -05:00
committed by GitHub

View File

@@ -45,7 +45,13 @@ jobs:
# Ensure this is actually a pull request and not a merge group
# If its a merge group, report success without doing anything
# See https://bit.ly/3qB9nZW > If a job in a workflow is skipped due to a conditional, it will report its status as "Success".
if: ((github.event.pull_request.head.sha || github.event.inputs.COMMIT_REF) && (github.event.number || github.event.inputs.PR_NUMBER || github.run_id)) && (github.repository == 'github/docs-internal' || github.repository == 'github/docs')
if: |
(
(github.event.pull_request.head.sha || github.event.inputs.COMMIT_REF)
&& (github.event.number || github.event.inputs.PR_NUMBER || github.run_id)
)
&& (github.repository == 'github/docs-internal' || github.repository == 'github/docs')
&& github.actor != 'dependabot[bot]'
timeout-minutes: 15
environment:
name: preview-env-${{ github.event.number }}