New way to get pandoc.

biosimulators · Jun 26, 2023 · d9a23f0 · d9a23f0
1 parent 62b4cd4
commit d9a23f0
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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