From 8442785cd5d992225a5827186a8278d053029951 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 23 Oct 2023 16:23:34 +0100 Subject: [PATCH] Fix release by installing Calibre 6 (#3742) This PR is a repeat fix for https://github.com/runtimeverification/k/issues/3710; I realise that the issue has recurred because the 5.x releases of Calibre are being invalidated faster as they are "out of date". To address this, I tested the relevant part of the release job with Calibre 6.29 in the PR CI here; it all appears to work fine. --- .github/workflows/release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index d70d5d49c42..4402f7b565e 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -424,8 +424,8 @@ jobs: - name: 'Install pandoc/texlive/calibre' run: | sudo apt update --yes - sudo apt install --yes wget texlive-xetex - sudo wget -nv -O- https://download.calibre-ebook.com/linux-installer.sh | sh /dev/stdin version=5.44.0 + sudo apt install --yes wget texlive-xetex libegl1 libopengl0 + sudo wget -nv -O- https://download.calibre-ebook.com/linux-installer.sh | sh /dev/stdin version=6.29.0 sudo wget https://github.com/jgm/pandoc/releases/download/2.18/pandoc-2.18-1-amd64.deb -O /tmp/pandoc.deb sudo dpkg -i /tmp/pandoc.deb - name: 'Checkout code and set up web build'