sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184 stars 169 forks source link

Replace check-markdown-links with pandoc + linkchecker #1307

Open lembergerth opened 2 years ago

lembergerth commented 2 years ago

markdown-link-check does not solve https://github.com/tcort/markdown-link-check/issues/159, which is a problem for us because of false positives in doi.org.

So we resort to the (less nice-looking) linkchecker. We first convert markdown files to HTML through pandoc, and then pass them to linkchecker.

We use a new Dockerfile with linkchecker installed, and a config to keep the output in the CI readable.