Merge branch 'dcmt/github-ci-head-not-merge'

Author: duncancmt

.github/workflows/integration.yml

@@ -10,7 +10,9 @@ jobs:
   integration:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1

.github/workflows/lint.yml

@@ -10,7 +10,9 @@ jobs:
   lint:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1

.github/workflows/test.yml

@@ -10,7 +10,9 @@ jobs:
   test:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.event.pull_request.head.sha }}
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1