From d7cd6129044ced1812fcece67907a68165c881d5 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 16 Apr 2020 08:54:26 -0700
Subject: [PATCH] nightly: don't need to apt-get install. ci: test on ghc
8.10.1.
---
.github/workflows/ci.yml | 2 ++
.github/workflows/nightly.yml | 5 -----
2 files changed, 2 insertions(+), 5 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9514dd6ef..83e001027 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -53,6 +53,8 @@ jobs:
cabal: '2.4'
- ghc: '8.8.1'
cabal: '3.0'
+ - ghc: '8.10.1'
+ cabal: '3.2'
steps:
- uses: actions/checkout@v1
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index dee84e012..c2c8b6da7 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -10,11 +10,6 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- - name: Install recent cabal/ghc
- run: |
- sudo add-apt-repository ppa:hvr/ghc
- sudo apt-get update
- sudo apt-get install ghc-8.8.1 cabal-install-3.0
- name: Install dependencies
run: |
export PATH=/opt/cabal/3.0/bin:/opt/ghc/8.8.1/bin:$PATH