tests: Skip lint tests when HTTP server cannot listen.
authorLudovic Courtès <ludo@gnu.org>
Thu, 25 Jun 2020 21:30:07 +0000 (23:30 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 26 Jun 2020 14:19:53 +0000 (16:19 +0200)
commit95c2bc49cf9691b95f604ed18c7b6dcdb93f9278
treef4c54112480045294049816435bf36866daa7b7a
parent5813a0c94f92d5b5d3360eac5a0d61314131a84a
tests: Skip lint tests when HTTP server cannot listen.

This could happen when running tests in parallel.

* tests/lint.scm ("github-url")
("github-url: one suggestion")
("github-url: already the correct github url")
("archival: missing content")
("archival: content available")
("archival: missing revision")
("archival: revision available")
("archival: rate limit reached"): Add 'test-skip' statement above.
tests/lint.scm