From 49a0f23b55868e2af91426cd9de59f7b77ae83dc Mon Sep 17 00:00:00 2001
From: Gary Guo <gary@garyguo.net>
Date: Wed, 23 Sep 2026 00:53:08 +0100
Subject: [PATCH 1/3] ci: clean up apply job slightly

Signed-off-by: Gary Guo <gary@garyguo.net>
---
 .github/workflows/ci.yml | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 521bebed..92c01018 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -430,14 +430,12 @@ jobs:
           path: "pin-init"
           fetch-depth: 0
           ref: ${{github.event.pull_request.head.sha}}
-      - run: |
-          pushd kernel
-          git config user.name "github-runner" && git config user.email "<>"
-          popd # kernel
-
-          pushd pin-init
-          git config user.name "github-runner" && git config user.email "<>"
-          git fetch
+      - name: Setup Git user
+        run: |
+          git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git config --global user.name "github-actions[bot]"
+      - name: Apply patches on pin-init-next
+        run: |
           if [ "$(git rev-parse HEAD)" = "$(git rev-parse origin/next)" ]; then
               # when there are no new commits, we can succeed directly
               exit 0
@@ -449,6 +447,7 @@ jobs:
               fi
               false
           fi
+        working-directory: pin-init
 
   update:
     runs-on: ubuntu-latest

From c5b3a1d1c851a4dbf80afe13f5aafa065f45ef2f Mon Sep 17 00:00:00 2001
From: Gary Guo <gary@garyguo.net>
Date: Wed, 23 Sep 2026 00:57:42 +0100
Subject: [PATCH 2/3] ci: run checkpatch.pl after applying patches

Make use of kernel's checkpatch.pl to ensure the synced version is
warning-free.

Signed-off-by: Gary Guo <gary@garyguo.net>
---
 .github/workflows/ci.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 92c01018..c9fc01aa 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -448,6 +448,15 @@ jobs:
               false
           fi
         working-directory: pin-init
+      - name: Run checkpatch.pl
+        run: |
+          if [ "$(git rev-parse HEAD)" = "$(git rev-parse origin/pin-init-next)" ]; then
+              # when there are no new commits, we can succeed directly
+              exit 0
+          fi
+          # Commit ID does not match between two trees, so ignore it.
+          scripts/checkpatch.pl --git origin/pin-init-next..HEAD --ignore UNKNOWN_COMMIT_ID
+        working-directory: kernel
 
   update:
     runs-on: ubuntu-latest

From dfc0f501891f17860e84ee6737d9ae7b75dde35a Mon Sep 17 00:00:00 2001
From: Gary Guo <gary@garyguo.net>
Date: Wed, 23 Sep 2026 13:00:46 +0100
Subject: [PATCH 3/3] ci: workaround `#[path = ..]` error in Miri nightly

This commit shall be reverted when the fix is synchronized to Rust codebase
and reaches nightly.

Signed-off-by: Gary Guo <gary@garyguo.net>
---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c9fc01aa..5f79d47a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -226,6 +226,9 @@ jobs:
         env:
           RUSTFLAGS: "-Dwarnings"
           MIRIFLAGS: ${{matrix.MIRIFLAGS}}
+          # Workaround https://github.com/rust-lang/miri/issues/5341 until the fix is available from nightly.
+          UNSTABLE_RUSTDOC_TEST_PATH: src/lib.rs
+          UNSTABLE_RUSTDOC_TEST_LINE: 100
   sanitizers:
     runs-on: ubuntu-latest
     strategy: