mirror of
https://github.com/servo/servo
synced 2026-04-25 17:15:48 +02:00
Compare commits
2 Commits
add-suppor
...
self-hoste
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
b29afd0f20 | ||
|
|
ce57cc80c2 |
2
.github/workflows/linux.yml
vendored
2
.github/workflows/linux.yml
vendored
@@ -106,7 +106,7 @@ jobs:
|
||||
|
||||
# Faster checkout for self-hosted runner that uses prebaked repo.
|
||||
- if: ${{ fromJSON(needs.runner-select.outputs.is-self-hosted) && github.event_name != 'pull_request_target' }}
|
||||
run: git fetch --depth=1 origin $env:GITHUB_SHA
|
||||
run: git fetch --depth=1 origin $GITHUB_SHA
|
||||
- if: ${{ fromJSON(needs.runner-select.outputs.is-self-hosted) && github.event_name == 'pull_request_target' }}
|
||||
run: git fetch --depth=1 origin ${{ github.event.pull_request.head.sha }}
|
||||
- if: ${{ fromJSON(needs.runner-select.outputs.is-self-hosted) }}
|
||||
|
||||
@@ -69,7 +69,7 @@ jobs:
|
||||
# <https://github.com/servo/servo/settings/variables/actions>
|
||||
if [ -n '${{ vars.NO_SELF_HOSTED_RUNNERS }}' ]; then
|
||||
echo 'NO_SELF_HOSTED_RUNNERS is set!'
|
||||
fall_back_to_github_hosted
|
||||
# fall_back_to_github_hosted
|
||||
fi
|
||||
|
||||
if [ '${{ inputs.force-github-hosted-runner }}' = true ]; then
|
||||
|
||||
Reference in New Issue
Block a user