From eb811723914f57494b640ef26b8ec0398760ff8b Mon Sep 17 00:00:00 2001
From: joneshf <jones3.hardy@gmail.com>
Date: Sun, 29 Jul 2018 13:26:19 -0700
Subject: [PATCH] Add a command for GitHub status

We want a check that the build succeeded on GitHub.
Unfortunately, circleci doesn't give us a final result from a workflow.
We hack around it by making one job that does nothing really.

Hopefully they can provide a better interface for this in the future.
---
 .circleci/config.yml | 32 +++++++++++++++++++++-----------
 1 file changed, 21 insertions(+), 11 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 617a11d..e2dc1d7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -25,6 +25,23 @@ jobs:
             - .stack-work
             - /root/.stack
 
+  doc-test:
+    docker:
+      - image: haskell:8.2.2
+    steps:
+      - checkout
+      - attach_workspace:
+          at: .
+      - run:
+          name: Doc test
+          command: make test-doc-test
+
+  for-github:
+    docker:
+      - image: alpine
+    steps:
+      - command: echo passed
+
   sdist:
     docker:
       - image: haskell:8.2.2
@@ -40,22 +57,15 @@ jobs:
           name: Build sdist
           command: make sdist
 
-  doc-test:
-    docker:
-      - image: haskell:8.2.2
-    steps:
-      - checkout
-      - attach_workspace:
-          at: .
-      - run:
-          name: Doc test
-          command: make test-doc-test
-
 workflows:
   version: 2
   base:
     jobs:
       - compile
+      - for-github:
+          requires:
+            - doc-test
+            - sdist
       - sdist
       - doc-test:
           requires: