summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Use xmllint instead of xmlstarletFlorian Schmaus2023-03-231-1/+1
* overlays: check XML styleFlorian Schmaus2023-03-211-1/+1
* github ci: run on push and PRsFlorian Schmaus2023-03-161-1/+1
* Add github ci.yamlFlorian Schmaus2023-03-162-19/+19
* bin/repositories-checker.py: various improvements and fixesArthur Zamarin2023-02-271-1/+1
* Fix CI workflowArthur Zamarin2022-04-131-1/+0
* Add CI workflow for checking repositories.xmlArthur Zamarin2022-04-121-0/+46