diff options
| author | Erik Martin-Dorel | 2020-04-17 08:49:51 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-04-21 15:07:15 +0200 |
| commit | 57f671eecb186f827ef14c4e3fc8a4debb99435c (patch) | |
| tree | dae3517249bc6c7d78863387bd82f6fa8f773841 /.github | |
| parent | 41d1750be0c45b51eb4e91ba4832c50a20e5fc2d (diff) | |
fix: Install emacs in the Docker container
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 14 |
1 files 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 |