summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHans Kristian Rosbach <hk-git@circlestorm.org>2026-03-08 00:02:01 +0100
committerHans Kristian Rosbach <hk-github@circlestorm.org>2026-03-08 21:38:36 +0100
commit9a23881db0405f115281bd65af9c545fcb8ac724 (patch)
tree29f9210c5d61d2996fcb6514a9237122cfca4259
parent2e441ff9c2bac8da50c3d5b2d140f0aed748142e (diff)
downloadProject-Tick-9a23881db0405f115281bd65af9c545fcb8ac724.tar.gz
Project-Tick-9a23881db0405f115281bd65af9c545fcb8ac724.zip
Run lint in ubuntu-slim, a lightweight actions runner
-rw-r--r--.github/workflows/lint.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index cc07d67264..b801fc8106 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -4,7 +4,7 @@ on: [pull_request, workflow_dispatch]
jobs:
lint:
name: Lint
- runs-on: ubuntu-latest
+ runs-on: ubuntu-slim
steps:
- name: Checkout repository
uses: actions/checkout@v6
@@ -16,4 +16,4 @@ jobs:
BASE_SHA="${{ github.event.pull_request.base.sha }}"
BASE_SHA="${BASE_SHA:-4b825dc642cb6eb9a060e54bf8d69288fbee4904}"
git config core.whitespace blank-at-eol
- git diff --color --check "$BASE_SHA" -- './*' ':!*.patch' \ No newline at end of file
+ git diff --color --check "$BASE_SHA" -- './*' ':!*.patch'