GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-23 14:16:39 +03:00
Code Issues Projects Releases Wiki Activity

Try nightly builds with GHC 8.6.5

Browse Source
This commit is contained in:
Aaron Tomb 2020-09-14 11:20:23 -07:00
parent d7cb4b6943
commit 36bcfab5e9
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/nightly.yml vendored
View File

@ -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

1
src/GitRev.hs
View File

@ -24,3 +24,4 @@ branch = $(gitBranch)
dirty :: Bool
dirty = $(gitDirty)
-- Last build Fri Sep 11 16:44:33 PDT 2020