From 6959055253d59740756192d475c97c58649b47bd Mon Sep 17 00:00:00 2001
From: Lorenzo Bettini <lorenzo.bettini@gmail.com>
Date: Sun, 4 Dec 2022 15:47:34 +0100
Subject: [PATCH] Revert "temporarily enabled GitHub Actions for windows push"

This reverts commit 75a2f3dfea1993f84ce89c31a1554807e23f2f82.
---
 .github/workflows/windows.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 76b29395..9ec073e3 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -4,6 +4,10 @@ on:
   push:
     paths-ignore:
       - '**.md'
+    # Sequence of patterns matched against refs/heads
+    branches:
+      # Push events on the main branch
+      - master
   pull_request:
     paths-ignore:
       - '**.md'