From 511cc2563ab83d93ecba6c861aae7014fe9e71c8 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 25 Jan 2019 07:15:16 -0800
Subject: [PATCH] CircleCI: Set workflow version to 2.1.

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index b1a90c37c..36a53c1c1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -112,7 +112,7 @@ jobs:
         - *save
 
 workflows:
-  version: 2
+  version: "2.1"
   build:
     jobs:
       - cabal-ghc-8_6_3