From d9a23f0e2f9f51b9297f64b93e29571c3b31b245 Mon Sep 17 00:00:00 2001 From: Lucian Smith Date: Mon, 26 Jun 2023 11:12:44 -0700 Subject: [PATCH] New way to get pandoc. --- .github/workflows/ci.yml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cbd5d97..9afb215 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -290,12 +290,8 @@ jobs: # Install pandoc sudo apt-get update -y sudo apt-get install -y --no-install-recommends wget - - wget https://github.com/jgm/pandoc/releases -O /tmp/pandocVersions.html - urlPart=`grep "\.deb" /tmp/pandocVersions.html | head -n 1 | cut -d'/' -f2-7 | cut -d'"' -f1` - wget "https://github.com/$urlPart" -O /tmp/pandoc.deb + wget "https://github.com/jgm/pandoc/releases/download/3.1.3/pandoc-3.1.3-1-amd64.deb" -O /tmp/pandoc.deb sudo dpkg -i /tmp/pandoc.deb - rm /tmp/pandocVersions.html rm /tmp/pandoc.deb # Convert README to .rst format