diff options
author | Ewout ter Hoeven <E.M.terHoeven@student.tudelft.nl> | 2021-05-03 23:29:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-03 23:29:04 +0200 |
commit | 7b36aeaf1a3829e14f1a0516a267e1cb0a4df183 (patch) | |
tree | 5844bf7a8fe49fabed006527b757af918060f2d9 | |
parent | 6721a9b8337a57312518280d996af7d64d74a876 (diff) | |
download | riscv-isa-manual-7b36aeaf1a3829e14f1a0516a267e1cb0a4df183.zip riscv-isa-manual-7b36aeaf1a3829e14f1a0516a267e1cb0a4df183.tar.gz riscv-isa-manual-7b36aeaf1a3829e14f1a0516a267e1cb0a4df183.tar.bz2 |
Travis CI: Update build environment to Ubuntu 20.04 Focal
Updates the Travis CI build environment from Ubuntu 14.04 (Trusty Tahr), which is end-of-life, to to Ubuntu 20.04 (Focal Fossa).
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index d10a57c..3514579 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,5 @@ 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: |