3 Commits

Author	SHA1	Message	Date
Ewout ter Hoeven	eba0ff8d3e	CI: Run on pull requests and once a month ... Run the CI on PRs and once a month (to detect failures due to updated images or dependencies). Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com> Signed-off-by: Ralph Giles <giles@thaumas.net>	2021-06-22 22:52:45 -07:00
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
evpobr	dd975a9ea8	Integrate Github Actions	2020-04-07 06:52:26 +10:00