From 28f25f5b2d9dd9fdd5158417407962d164f956e3 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 21 Jun 2020 08:38:01 -0700
Subject: [PATCH] ;ci: push: re-enable the quick push workflow

---
 .github/workflows/push.yml | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index c34c5faef..7bf93088b 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,17 +1,12 @@
-# Light CI tests: build and run functional tests with one GHC version,
-# using less compute power and emitting less carbon.
-#
-# Runs: on notable (eg, not just doc files) push to master.
-# Currently disabled in favour of linux.yml.
+# Quick tests for notable pushes to master,
+# minimising compute power and carbon emissions.
+# Builds incrementally and runs functional tests with one GHC version.
 
 name: push CI
 
 on:
   push:
-    # branches: [ master ]
-    # disable this workflow:
-    branches-ignore:
-      - '**'
+    branches: [ master ]
     paths:
       - '.github/workflows/push.yml'
       - 'stack*.yaml'