diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2020-04-20 20:18:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-20 20:18:40 +0200 |
commit | 27a485a472706bededf38f0de2630688739ca0b2 (patch) | |
tree | a9eebf3c383e68d5856eddf1c608a427f2d7445b /src/script/lua_api/l_playermeta.h | |
parent | 338195ff250bd7552ef8167348de2eb05e421c29 (diff) | |
download | minetest-27a485a472706bededf38f0de2630688739ca0b2.tar.gz minetest-27a485a472706bededf38f0de2630688739ca0b2.tar.bz2 minetest-27a485a472706bededf38f0de2630688739ca0b2.zip |
Replace travis with github actions (#9641)
* Move outside of travis to Github actions
This will permit to have better integrated CI workflow than the previous
travis one.
Diffstat (limited to 'src/script/lua_api/l_playermeta.h')
0 files changed, 0 insertions, 0 deletions