Loïc Blot
27a485a472
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.
2020-04-20 20:18:40 +02:00
Paul Ouellette
840b17ce63
Update API site build ( #9622 )
2020-04-11 20:38:39 +02:00
Loïc Blot
12275e235a
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
2020-04-09 20:46:06 +02:00
sfan5
7908b20dd9
buildbot: Update to newer MinGW gcc 9.2
2020-03-12 00:10:09 +01:00
Paul Ouellette
bb7afd306a
Add Mkdocs API site ( #8133 )
...
* Add MkDocs API site
2019-04-12 14:29:29 +02:00
Loïc Blot
1a51455b9e
Gitlab CI: docker image rename + add commit id tag
2018-12-12 09:47:32 +01:00
Loïc Blot
ca141ed491
Add a Dockerfile + gitlab CI build ( #7968 )
...
* Add a minetest docker file
* Clone minetest_game from git directly
2018-12-12 00:00:08 +01:00
Loïc Blot
8986a9e605
Gitlab CI: Disable currently broken ubuntu 16.10 & 17.04 builds
...
I will try to repair them later
2018-03-22 19:44:41 +01:00
Loïc Blot
d74385be24
Implement GItlab CI daily builds for windows platform (32 & 64) ( #5923 )
...
* Implement win32 & win64 builds in Gitlab CI + pkg improvements
* windows buildbot: split build & deploy steps
* move deb artifacts to root folder to have a nicer artifact
* add windows build + packaging on xenial
2017-06-08 16:30:30 +02:00
Loic Blot
bfacfc2062
Gitlab CI: Fix Ubuntu 14.04/Debian 8 build by using GCC 6 toolchain
...
+ indent fix
2017-06-05 00:06:01 +02:00
Loïc Blot
af96309621
Gitlab-CI: keep build workspace only 1 hour
2017-04-24 16:06:27 +02:00
Loïc Blot
2ad74a9e8b
Gitlab-CI enhancements ( #5629 )
2017-04-21 10:22:20 +02:00
Loïc Blot
8c8333bf68
Prepare for Linux daily build packages (using Gitlab.com CI) ( #5542 )
...
* Prepare for Linux daily build packages (using Gitlab.com CI)
2017-04-08 10:19:07 +02:00
