aboutsummaryrefslogtreecommitdiff
path: root/util/ci
AgeCommit message (Expand)Author
2021-01-07Merge branch 'master' of https://github.com/minetest/minetestElias Fleckenstein
2020-12-23CI: fix buildsfan5
2020-11-28Merged MinetestElias Fleckenstein
2020-11-04Add model[] formspec element (#10320)SmallJoker
2020-11-04Fix and run the Lint autocorrect scriptElias Fleckenstein
2020-11-04Added script that automaticall corrects lint styleElias Fleckenstein
2020-08-04Implement override.txt support for special tiles (#10140)Hugues Ross
2020-05-02ci: Update Github Actions workflows (#9774)sfan5
2020-04-29Add MetricsBackend with prometheus counter supportLoic Blot
2020-04-20Replace travis with github actions (#9641)Loïc Blot