From 36bcfab5e971f06db379a9e1c49bbd33f2d679aa Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Mon, 14 Sep 2020 11:20:23 -0700
Subject: [PATCH] Try nightly builds with GHC 8.6.5

---
 .github/workflows/nightly.yml | 2 +-
 src/GitRev.hs                 | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 8217c4a4..2299b3dc 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -70,7 +70,7 @@ jobs:
 
       - uses: actions/setup-haskell@v1
         with:
-          ghc-version: 8.8.4
+          ghc-version: 8.6.5
 
       - uses: actions/cache@v2
         name: Cache cabal store
diff --git a/src/GitRev.hs b/src/GitRev.hs
index 199738a8..e4f15868 100644
--- a/src/GitRev.hs
+++ b/src/GitRev.hs
@@ -24,3 +24,4 @@ branch = $(gitBranch)
 
 dirty :: Bool
 dirty = $(gitDirty)
+-- Last build Fri Sep 11 16:44:33 PDT 2020