diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/preview.yml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.github/workflows/preview.yml b/.github/workflows/preview.yml index dfe9cd87..5963f1b0 100644 --- a/.github/workflows/preview.yml +++ b/.github/workflows/preview.yml @@ -234,16 +234,6 @@ jobs: fetch-depth: 0 persist-credentials: false - - name: Verify built commit is still current master - run: | - set -euo pipefail - git fetch origin master --tags - remote_head="$(git rev-parse origin/master)" - if [ "$remote_head" != "${{ needs.preflight.outputs.commit }}" ]; then - echo "error: origin/master moved from built commit; aborting preview publish" >&2 - exit 1 - fi - - name: Download all artifacts uses: actions/download-artifact@v8 with: |