Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac…

…kend
runtimeverification · Oct 12, 2023 · 6f264b6 · 6f264b6
2 parents afe95d5 + d1838d3
commit 6f264b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -425,7 +425,7 @@ jobs:
         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.42.0
+          sudo wget -nv -O- https://download.calibre-ebook.com/linux-installer.sh | sh /dev/stdin version=5.44.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'