Remove buildkite-era comment

pull/10573/head
David Robertson 2021-08-12 11:48:36 +01:00
parent 74fcd5aab9
commit 878528913d
1 changed files with 0 additions and 3 deletions

View File

@ -38,9 +38,6 @@ jobs:
if: ${{ github.base_ref == 'develop' || contains(github.base_ref, 'release-') }} if: ${{ github.base_ref == 'develop' || contains(github.base_ref, 'release-') }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
# Note: This and the script can be simplified once we drop Buildkite. See:
# https://github.com/actions/checkout/issues/266#issuecomment-638346893
# https://github.com/actions/checkout/issues/416
- uses: actions/checkout@v2 - uses: actions/checkout@v2
with: with:
ref: ${{ github.event.pull_request.head.sha }} ref: ${{ github.event.pull_request.head.sha }}