From 4c8c2b41769c2001c9375f5850b56ec6ba444bcf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20M=C3=BCller?= Date: Tue, 6 Jan 2026 11:05:09 -0800 Subject: [PATCH] Use pinned Linux version MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit We really shouldn't be using the moving target that is "the latest" Linux kernel version: just changing a config flag would introduce a bunch of completely unrelated changes, including potentially wrecking a config if certain high profile options were to be renamed. Fixate the Linux kernel version so that we have full control over what we use. Stick to 6.18, which is what commit 991dd4b8dfd8 ("Update vmlinux.h headers from Linux 6.14 to 6.18") bumped us to. Signed-off-by: Daniel Müller --- .github/workflows/vmlinux.h.yml | 10 +++++++--- scripts/download-latest-linux-release.sh | 17 ----------------- 2 files changed, 7 insertions(+), 20 deletions(-) delete mode 100755 scripts/download-latest-linux-release.sh diff --git a/.github/workflows/vmlinux.h.yml b/.github/workflows/vmlinux.h.yml index cdd8eec..bc38b73 100644 --- a/.github/workflows/vmlinux.h.yml +++ b/.github/workflows/vmlinux.h.yml @@ -16,9 +16,13 @@ jobs: - uses: actions/checkout@v4 - - name: Download Linux source - shell: bash - run: ./scripts/download-latest-linux-release.sh + - name: Check out Linux source + uses: actions/checkout@v6 + with: + repository: 'torvalds/linux' + ref: 'v6.18' + fetch-depth: 1 + path: linux/ - name: Install dependencies shell: bash diff --git a/scripts/download-latest-linux-release.sh b/scripts/download-latest-linux-release.sh deleted file mode 100755 index 11f03a6..0000000 --- a/scripts/download-latest-linux-release.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -set -eux - -sudo apt install -y curl jq tar xz-utils - -# pick the first stable release, it's usually the newest -url=$(curl -s https://www.kernel.org/releases.json \ - | jq -r '[.releases[] | select(.moniker == "mainline")][0].source') - -curl -LO "$url" -tar -xf $(basename "$url") - -dir=$(basename "$url" | sed 's/\.tar\.[gx]z$//') -mv $dir linux - -rm $(basename "$url")