summaryrefslogtreecommitdiff
path: root/.github
Commit message (Expand)AuthorAgeFilesLines
* CI: Run on pull requests and once a monthEwout ter Hoeven2021-06-221-1/+5
* github actions: Drop HTML validationErik de Castro Lopo2021-03-151-6/+0
* Integrate Github Actionsevpobr2020-04-071-0/+153