Erik de Castro Lopo 27c615706c github actions: Drop HTML validation
Its seems `xmllint` is mainly an XML validator and not a HTML validator
and can't find a decent command line HTML validator.
2021-03-15 13:46:20 +11:00
..