From 80f6181ddf6bd090292ef45219bc9db31eac9b20 Mon Sep 17 00:00:00 2001
From: Samuel K <skevetter@pm.me>
Date: Tue, 30 Jun 2026 10:36:08 -0500
Subject: [PATCH] ci: reclaim disk space before lint to avoid runner ENOSPC

The Lint job intermittently fails with 'No space left on device' on
GitHub-hosted runners. Reclaim ~20GB via jlumbroso/free-disk-space
(Android/.NET/Haskell/Docker images) before checkout. Slow removals
(tool-cache, large apt packages, swap) are disabled to keep overhead low.
---
 .github/workflows/lint.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
index 7372ac5..dd31e25 100644
--- a/.github/workflows/lint.yaml
+++ b/.github/workflows/lint.yaml
@@ -11,6 +11,13 @@ jobs:
     name: Lint
     runs-on: ubuntu-latest
     steps:
+      - name: free disk space
+        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be # v1.3.1
+        with:
+          tool-cache: false
+          large-packages: false
+          swap-storage: false
+
       - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7
 
       - name: setup Go