From a58df19920efd04c185d14470afe5012e518b0af Mon Sep 17 00:00:00 2001 From: EvilOlaf Date: Fri, 6 Feb 2026 05:25:41 +0000 Subject: [PATCH] address nit-picks --- .github/workflows/maintenance-rewrite-kernel-patches.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/maintenance-rewrite-kernel-patches.yml b/.github/workflows/maintenance-rewrite-kernel-patches.yml index 2202a9e4e1..9f1b55699a 100644 --- a/.github/workflows/maintenance-rewrite-kernel-patches.yml +++ b/.github/workflows/maintenance-rewrite-kernel-patches.yml @@ -1,4 +1,4 @@ -name: "Maintenance: Rewrite kernel patches" +name: "Maintenance: Rewrite patches" on: workflow_dispatch: @@ -32,6 +32,7 @@ jobs: rewrite-patches: name: "Rewrite ${{ inputs.board }} (${{ inputs.branch }})" runs-on: rewrite + timeout-minutes: 60 steps: - name: Update existing repository env: @@ -51,13 +52,13 @@ jobs: git checkout "$REF_NAME" fi - - name: Run rewrite-kernel-patches + - name: "Run ${{ inputs.whattodo }}" env: BOARD: ${{ inputs.board }} BRANCH: ${{ inputs.branch }} WHATTODO: ${{ inputs.whattodo }} run: | - ./compile.sh BOARD=$BOARD BRANCH=$BRANCH $WHATTODO KERNEL_GIT=shallow + ./compile.sh "BOARD=$BOARD" "BRANCH=$BRANCH" "$WHATTODO" KERNEL_GIT=shallow - name: Check for changes id: check_changes