From 7dabc77b1ea71053cd1c054b9c8866936ef58a4b Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Mon, 20 Mar 2023 09:07:02 +0100
Subject: [PATCH] Added free-disk-space to GitHub actions, no builds on single
 pushes

---
 .github/workflows/build.yml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 069bc601a..815eac7b6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,11 +4,22 @@ name: Build Python Wheels
 
 on:
   pull_request:
-  push:
+  # Running on PRs is enough
+  # push:
   release:
     types: [published]
 
 jobs:
+  free-disk-space:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Free Disk Space (Ubuntu)
+      uses: jlumbroso/free-disk-space@main
+      with:
+        android: false
+        dotnet: false
+        haskell: false
+
   build:
     runs-on: ${{ matrix.os }}
     strategy: