diff options
author | Andrew Waterman <andrew@sifive.com> | 2021-05-03 18:10:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-03 18:10:08 -0700 |
commit | 6f88f885865bdaaf81f2b6994122cdb90d7c7612 (patch) | |
tree | 5d90fb851a5ccdf6d471479a6c3cebc228756494 | |
parent | 6721a9b8337a57312518280d996af7d64d74a876 (diff) | |
parent | 3a10eab2edfc95060e607cb2a110433e00f65a23 (diff) | |
download | riscv-isa-manual-6f88f885865bdaaf81f2b6994122cdb90d7c7612.zip riscv-isa-manual-6f88f885865bdaaf81f2b6994122cdb90d7c7612.tar.gz riscv-isa-manual-6f88f885865bdaaf81f2b6994122cdb90d7c7612.tar.bz2 |
Merge pull request #644 from EwoutH/patch-1
Travis CI: Update build environment to Ubuntu 20.04 Focal
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index d10a57c..b72e692 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,4 @@ -sudo: required -dist: trusty +dist: focal before_install: - sudo apt-get -qq update && sudo apt-get install -y --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended script: |