From 1d4ea54aaab1fc2efa0835d573622e93dbd2b796 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 2 Oct 2019 08:27:28 -0700
Subject: ci: we don't need to install cabal/ghc manually, it seems.

---
 .github/workflows/ci.yml | 5 -----
 1 file changed, 5 deletions(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d180c2012..abcb3d6e0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -55,11 +55,6 @@ jobs:
 #           cabal: '3.0'
     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-${{ matrix.versions.ghc }} cabal-install-${{ matrix.versions.cabal }}
     - name: Install dependencies
       run: |
           export PATH=/opt/cabal/${{ matrix.versions.cabal }}/bin:/opt/ghc/${{ matrix.versions.ghc }}/bin:$PATH
-- 
cgit v1.2.3