diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2020-04-09 20:46:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-09 20:46:06 +0200 |
| commit | 12275e235a17e84805f4b3b667e1ddbdf9499fc6 (patch) | |
| tree | 26ec83f656b7795128e211de4a08616cd4801d78 /util/travis/lint.sh | |
| parent | 3ad5388c6d3894e2f4aa7158cc2b62b626f0f967 (diff) | |
| download | minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.tar.gz minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.tar.bz2 minetest-12275e235a17e84805f4b3b667e1ddbdf9499fc6.zip | |
Automated build changes (#9619)
* Automated build changes
* drop a useless ubuntu non lts version
* update gitlab ci syntax to modern one
* add debian 10 step on the gitlab ci pipeline
* switch docker build to Debian 10
* add .gradle folder to gitignore
Diffstat (limited to 'util/travis/lint.sh')
0 files changed, 0 insertions, 0 deletions