From 7374a7a87dd1046a9178bbbf868dce0b392e5f22 Mon Sep 17 00:00:00 2001
From: Frank Dellaert <dellaert@gmail.com>
Date: Wed, 22 Feb 2023 22:35:30 -0800
Subject: [PATCH] Try CI fix to save space

---
 .github/workflows/build-linux.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
index c699db0d3..92b3e76fd 100644
--- a/.github/workflows/build-linux.yml
+++ b/.github/workflows/build-linux.yml
@@ -50,6 +50,9 @@ jobs:
             version: "14"
 
     steps:
+      - name: Maximize build disk space
+        uses: easimon/maximize-build-space@v6
+
       - name: Checkout
         uses: actions/checkout@v3