search

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

Add CI job that checks links in all markdown files of the repository #1294

Closed lembergerth closed 3 years ago

lembergerth commented 3 years ago

This PR adds a Gitlab-CI check for links referenced in Markdown files. It uses the tool markdown-link-check and its official Docker image for this.

Example output of the CI check: https://gitlab.com/lemberger/sv-benchmarks/-/jobs/1046665217