From 6bc751213f358a05516ef6a7d86b70d85e8e1469 Mon Sep 17 00:00:00 2001 From: link2xt Date: Wed, 4 Jun 2025 20:00:04 +0000 Subject: [PATCH] Checkout non-merge commit in CI --- .github/workflows/ci.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 7d1f3020..5f6acd82 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -10,6 +10,10 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + # Checkout pull request HEAD commit instead of merge commit + # Otherwise `test_deployed_state` will be unhappy. + with: + ref: ${{ github.event.pull_request.head.sha }} - name: run chatmaild tests working-directory: chatmaild