Upgrade to tidy 5.8.0

Author: calcmogul

.github/workflows/ci.yml

@@ -20,17 +20,9 @@ jobs:
 
     - name: Install tidy
       run: |
-        # When Ubuntu gets the latest version, use the following instead:
-        # sudo apt-get install tidy -y
-        git clone git://github.com/htacg/tidy-html5
-        cd tidy-html5
-        git checkout 5.7.28
-        cd build/cmake
-        cmake ../.. -DCMAKE_BUILD_TYPE=Release -DCPACK_GENERATOR=DEB
-        make package -j$(nproc)
-        sudo dpkg -i tidy-5.7.28-64bit.deb
-        cd ../../..
-        rm -r tidy-html5
+        wget https://github.com/htacg/tidy-html5/releases/download/5.8.0/tidy-5.8.0-Linux-64bit.deb
+        sudo dpkg -i tidy-5.8.0-Linux-64bit.deb
+        rm tidy-5.8.0-Linux-64bit.deb
 
     - name: Check links
       run: python3 check_links.py