From 57f671eecb186f827ef14c4e3fc8a4debb99435c Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 17 Apr 2020 08:49:51 +0200
Subject: fix: Install emacs in the Docker container

---
 .github/workflows/test.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index e695f435..45274d89 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -44,11 +44,11 @@ jobs:
 
     strategy:
       matrix:
-        emacs_version:
+        # emacs_version:
           # the emacs version in Ubuntu 18.04 LTS
-          - 25.2
+          # - 25.2
           # the emacs version in Debian Buster
-          - 26.1
+          # - 26.1
           # the emacs version in Debian Sid
           # - 26.3
         coq_version:
@@ -62,10 +62,6 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - uses: purcell/setup-emacs@master
-      with:
-        version: ${{ matrix.emacs_version }}
-
     - uses: erikmd/docker-coq-action@alpha
       id: docker-coq-action
       with:
@@ -76,6 +72,10 @@ jobs:
           startGroup Print opam config
             opam config list; opam repo list; opam list
           endGroup
+          startGroup Install emacs
+            sudo apt-get update -y -q
+            sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -q --no-install-recommends emacs
+          endGroup
           startGroup Run tests
             ./ci/test.sh
           endGroup
-- 
cgit v1.2.3