From 2d7e177ba73ef702bb92690153b7602ed71df0d3 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 16 Apr 2020 18:03:49 -0500 Subject: [PATCH] Build Ubuntu 19.10 instead of 19.04 19.04 reached End of Life in January and it appears the package repos have now dropped it. 19.10 is not LTS but EOL is in July. Soon there will be 20.04 LTS. --- .gitlab-ci.yml | 6 +++--- gitlab-pages/docs/intro/installation.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d81359eaf..767e9aa73 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -40,7 +40,7 @@ dont-merge-to-master: - build-and-package-debian-9 - build-and-package-debian-10 - build-and-package-ubuntu-18-04 - - build-and-package-ubuntu-19-04 + - build-and-package-ubuntu-19-10 before_script: - export TERM=dumb - scripts/install_native_dependencies.sh @@ -184,14 +184,14 @@ build-and-package-ubuntu-18-04: - dev - /^.*-run-dev$/ -build-and-package-ubuntu-19-04: +build-and-package-ubuntu-19-10: <<: *docker # To run in sequence and save CPU usage, use stage: build_and_package_binaries stage: test variables: target_os_family: "debian" target_os: "ubuntu" - target_os_version: "19.04" + target_os_version: "19.10" <<: *build_binary only: - dev diff --git a/gitlab-pages/docs/intro/installation.md b/gitlab-pages/docs/intro/installation.md index 307e470c9..87abfdfe5 100644 --- a/gitlab-pages/docs/intro/installation.md +++ b/gitlab-pages/docs/intro/installation.md @@ -51,7 +51,7 @@ sudo apt install ./.deb ``` - [Ubuntu 18.04](/deb/ligo_ubuntu-18.04.deb) -- [Ubuntu 19.04](/deb/ligo_ubuntu-19.04.deb) +- [Ubuntu 19.10](/deb/ligo_ubuntu-19.10.deb) - [Debian 9](/deb/ligo_debian-9.deb) - [Debian 10](/deb/ligo_debian-10.deb)